We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Craig interpolation theorem fails in bi-intuitionistic predicate logic

Authors: Grigory K. Olkhovikov (1), Guillermo Badia (2) ((1) Ruhr University Bochum, (2) University of Queensland)
Abstract: 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, G. K. Olkhovikov and A. Urquhart. Failure of Interpolation in Constant Domain Intuitionistic Logic. Journal of Symbolic Logic, 78: 937--950 (2013)). More precisely, we show that there is a valid implication $\phi \rightarrow \psi$ with no interpolant (i.e. a formula $\theta$ in the intersection of the vocabularies of $\phi$ and $\psi$ such that both $\phi \rightarrow \theta$ and $\theta \rightarrow \psi$ are valid). Importantly, this result does not contradict the unfortunately named `Craig interpolation' theorem established by Rauszer in (Cecylia Rauszer. Craig Interpolation Theorem for an Extention of Intuitionistic Logic. Bull. Ac. Pol. Sc., 25(4), 337--341 (1977)) since that article is about the property more correctly named `deductive interpolation' (see Galatos, Jipsen, Kowalski and Ono's use of this term in N. Galatos, P. Jipsen, T. Kowalski, \& H. Ono. Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, Vol. 151. Amsterdam: Elsevier B. V. (2007)) for global consequence. Given that the deduction theorem fails for bi-intuitionistic logic with global consequence, the two formulations of the property are not equivalent.
Comments: 23 pages, 0 figures
Subjects: Logic (math.LO)
MSC classes: 03B60, 03C40
Cite as: arXiv:2205.00245 [math.LO]
  (or arXiv:2205.00245v3 [math.LO] for this version)

Submission history

From: Guillermo Badia [view email]
[v1] Sat, 30 Apr 2022 11:40:52 GMT (20kb)
[v2] Fri, 13 May 2022 15:30:14 GMT (20kb)
[v3] Tue, 7 Jun 2022 13:17:18 GMT (21kb)

Link back to: arXiv, form interface, contact.