DocumentCode
1849284
Title
Compact propositional Godel logics
Author
Baaz, Matthias ; Zach, Richard
Author_Institution
Inst. fur Algebra und Diskrete Math., Tech. Univ. Wien, Austria
fYear
1998
fDate
27-29 May 1998
Firstpage
108
Lastpage
113
Abstract
Entailment in propositional Godel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Godel logics, only one of which is compact. It is also shown that the compact infinite-valued Godel logic is the only one which interpolates, and the only one with an r.e. entailment relation
Keywords
formal logic; compact infinite-valued Godel logic; compact propositional Godel logics; entailment relation; entailment relations; tautologies; truth values; Algebra; Computer science; Concurrent computing; Cost accounting; Logic functions; Multivalued logic; Reactive power; Tellurium;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
Conference_Location
Fukuoka
ISSN
0195-623X
Print_ISBN
0-8186-8371-6
Type
conf
DOI
10.1109/ISMVL.1998.679315
Filename
679315
Link To Document