Failure of interpolation in the intuitionistic logic of constant domains

Details Failure of interpolation in the intuitionistic logic of constant domains Failure of interpolation in the intuitionistic logic of constant domains

2012-02-16

arxiv.org/abs/1202.3519v3

Mathematics

Logic

13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text thouroughly reworked in terms of notation and style, hist

Scientific paper

This paper shows that the interpolation theorem fails in the intuitionistic
logic of constant domains. This result refutes two previously published claims
that the interpolation property holds.

Affiliated with

Also associated with

No associations

Rating

Failure of interpolation in the intuitionistic logic of constant domains 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 Failure of interpolation in the intuitionistic logic of constant domains, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Failure of interpolation in the intuitionistic logic of constant domains will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-125041