DocumentCode
3478290
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
fYear
2003
fDate
16-19 May 2003
Firstpage
175
Lastpage
180
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
ISSN
0195-623X
Print_ISBN
0-7695-1918-0
Type
conf
DOI
10.1109/ISMVL.2003.1201403
Filename
1201403
Link To Document