arXiv Analytics

Sign in

arXiv:1202.3519 [math.LO]AbstractReferencesReviewsResources

Failure of interpolation in the intuitionistic logic of constant domains

Grigori Mints, Grigory Olkhovikov, Alasdair Urquhart

Published 2012-02-16, updated 2012-04-02Version 3

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.

Comments: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text thouroughly reworked in terms of notation and style, historical notes as well as some other minor details added
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1602.07608 [math.LO] (Published 2016-02-24)
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation
arXiv:2208.14715 [math.LO] (Published 2022-08-31)
Intuitionistic Logic is a Connexive Logic
arXiv:1211.1850 [math.LO] (Published 2012-11-08)
Copies of classical logic in intuitionistic logic

Links

Toolbox