The Community for Technology Leaders
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. (2003)
Tokyo, Japan
May 16, 2003 to May 19, 2003
ISSN: 0195-623X
ISBN: 0-7695-1918-0
pp: 175
Matthias Baaz , Technische Universit?t Wien
Norbert Preining , Technische Universit?t Wien
Richard Zach , University of Calgary
ABSTRACT
The prenex fragments of first-order infinite-valued G?del logics are classified. It is shown that the prenex G?del logics characterized by finite and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex fragments of all uncountable G?del logics are not axiomatizable.
INDEX TERMS
null
CITATION

R. Zach, M. Baaz and N. Preining, "Characterization of the Axiomatizable Prenex Fragments of First-Order G?del Logics," 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.(ISMVL), Tokyo, Japan, 2003, pp. 175.
doi:10.1109/ISMVL.2003.1201403
90 ms
(Ver 3.3 (11022016))