Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics

Details Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics

2003-03-02

arxiv.org/abs/math/0303011v1

Mathematics

Logic

6 pages; forthcoming in ISMVL 2003

Scientific paper

The prenex fragments of first-order infinite-valued Goedel logics are
classified. It is shown that the prenex Goedel logics characterized by finite
and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex
fragments of all countably infinite Goedel logics are not axiomatizable.

Affiliated with

Also associated with

No associations

Rating

Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-381379