Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics

  • Authors:

  • Matthias Baaz;Norbert Preining;Richard Zach

  • Affiliations:

  • -;-;-

  • Venue:
  • ISMVL '03 Proceedings of the 33rd International Symposium on Multiple-Valued Logic
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

The prenex fragments of first-order infinite-valued Gödellogics are classified. It is shown that the prenex Gödel logicscharacterized by finite and by uncountable subsets of[0, 1] are axiomatizable, and that the prenex fragments ofall uncountable Gödel logics are not axiomatizable.