University of Calgary

UofC Navigation

You are looking at an archived page. The website has moved to richardzach.org.

In: *33rd International Symposium on Multiple-valued Logic. Proceedings. *Tokyo, May 16-19, 2003* *(IEEE Computer Society Press, 2003) 175-180 (with Matthias Baaz and Norbert Preining)

**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 countably infinite Gödel logics are not axiomatizable.

**Download from IEEE Xplore:**

doi:10.1109/ISMVL.2003.1201403

**Download Preprint:**