Failure of interpolation in the intuitionistic logic of constant domains

TL;DR

This paper demonstrates that the interpolation theorem does not hold in the intuitionistic logic of constant domains, contradicting earlier claims that it does.

Contribution

It provides a counterexample showing the failure of the interpolation property in this logic, refuting prior assertions of its validity.

Findings

Interpolation theorem fails in the intuitionistic logic of constant domains

Previous claims of the property holding are incorrect

Counterexamples demonstrate the failure

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.