Title :
Compact propositional Godel logics
Author :
Baaz, Matthias ; Zach, Richard
Author_Institution :
Inst. fur Algebra und Diskrete Math., Tech. Univ. Wien, Austria
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;
Conference_Titel :
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
Conference_Location :
Fukuoka
Print_ISBN :
0-8186-8371-6
DOI :
10.1109/ISMVL.1998.679315
