Failure of interpolation in the intuitionistic logic of constant domains
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2012
- DOI:
- 10.48550/arXiv.1202.3519
- arXiv:
- arXiv:1202.3519
- Bibcode:
- 2012arXiv1202.3519M
- Keywords:
-
- Mathematics - Logic
- E-Print:
- 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