First-order Goedel logics

Details First-order Goedel logics First-order Goedel logics

2006-01-07

arxiv.org/abs/math/0601147v1

Mathematics

Logic

37 pages

Scientific paper

First-order Goedel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Goedel logics G_V (sets of those formulas which evaluate to 1 in every interpretation into V). It is shown that G_V is axiomatizable iff V is finite, V is uncountable with 0 isolated in V, or every neighborhood of 0 in V is uncountable. Complete axiomatizations for each of these cases are given. The r.e. prenex, negation-free, and existential fragments of all first-order Goedel logics are also characterized.

Affiliated with

Also associated with

No associations

Rating

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 First-order Goedel logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and First-order Goedel logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-65811