Failure of Interpolation in Constant Domain Intuitionistic Logic
Grigori Mints, Grigory Olkhovikov, Alasdair Urquhart · Journal of Symbolic Logic · 2013
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.