33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. (2003)
May 16, 2003 to May 19, 2003
Matthias Baaz , Technische Universit?t Wien
Norbert Preining , Technische Universit?t Wien
Richard Zach , University of Calgary
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.
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.