Characterization of the axiomatizable prenex fragments of first-order Godel logics
Matthias Baaz, Norbert Preining, Richard Zach · 2004
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.