Fuzzy Predicate Product Logic and Embeddings of Ordered Abelian Groups

Loading...
Thumbnail Image

Files

umi-umd-1678.pdf (437.79 KB)
No. of downloads: 1369

Publication or External Link

Date

2004-06-24

Citation

DRUM DOI

Abstract

We show the embedding provided by the Hahn Embedding Theorem of an ordered Abelian group into a lexicographic functions space is coinitiality preserving. From this we strengthen Hajek's Completeness theorem for predicate product logic. We conclude that the set of tautologies for a lexicographic function space over a set S which is not initially scattered is recursively enumerable. By contrast we conclude that the set of tautologies for a lexicographic function space over a set S which is initially scattered is not arithmetical.

Notes

Rights