Title :
Characterization of the axiomatizable prenex fragments of first-order godel logics
Author :
Baaz, Matthias ; Preining, Norbert ; Zach, Richard
Author_Institution :
Technische Univ. Wien, Austria
Abstract :
The prenex fragments of first-order infinite-valued Godel logics are classified. It is shown that the prenex Godel logics characterized by finite and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex fragments of all countably infinite Godel logics are not axiomatizable.
Keywords :
formal logic; set theory; axiomatizable prenex fragments; countably infinite Godel logics; finite subsets; first-order infinite-valued Godel logics; Artificial intelligence; Cost accounting; Linearity; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
Print_ISBN :
0-7695-1918-0
DOI :
10.1109/ISMVL.2003.1201403
