Intuitionistic predicate logic of constant domains does not have Beth property

Details Intuitionistic predicate logic of constant domains does not have Beth property Intuitionistic predicate logic of constant domains does not have Beth property

2012-04-25

arxiv.org/abs/1204.5788v1

Mathematics

Logic

9 pages, 0 figures

Scientific paper

Drawing on the previous work on interpolation failure, we show that Beth's
definability theorem does not hold for intuitionistic predicate logic of
constant domains without identity.

Affiliated with

Also associated with

No associations

Rating

Intuitionistic predicate logic of constant domains does not have Beth property 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 Intuitionistic predicate logic of constant domains does not have Beth property, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Intuitionistic predicate logic of constant domains does not have Beth property will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-313309