Grigory K. Olkhovikov

Craig interpolation theorem fails in bi-intuitionistic predicate logic

2022 · arXiv (Cornell University)

In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains (G. Mints, …