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.
Citation
Grigori Mints. Grigory Olkhovikov. Alasdair Urquhart. "Failure of interpolation in constant domain intuitionistic logic." J. Symbolic Logic 78 (3) 937 - 950, September 2013. https://doi.org/10.2178/jsl.7803120
Information
