Failure of interpolation in constant domain intuitionistic logic

DOI10.2178/JSL.7803120MaRDI QIDQ2869908zbMATH OpenOpenAlexFDO

Authors Grigory Olkhovikov, Alasdair Urquhart, G. E. Mints

Publication date 7 January 2014

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1202.3519, https://projecteuclid.org/euclid.jsl/1389032282

zbMATH Keywords

intuitionistic logicinterpolation propertyKripke modelBarcan formulaconstant domainGrzegorczyk modelGödel-Tarski translation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Interpolation, preservation, definability (03C40)

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.

Recommendations

• Failure of interpolation in relevant logics
• Failure of interpolation in combined modal logics
• Some failures of interpolation in modal logic
• scientific article; zbMATH DE number 3910377
• Interpolation property for extensions of intuitionistic provability logic
• Interpolation in fragments of intuitionistic propositional logic
• Interpolation theorems for intuitionistic predicate logic
• scientific article; zbMATH DE number 4114590
• Interpolation and implicit definability in extensions of the provability logic
• Interpolation in infinitely layered extensions of provability logic

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 5822589 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• A short introduction to intuitionistic logic
• Craig interpolation theorem for intuitionistic logic and extensions Part III
• Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
• Failures of the interpolation lemma in quantified modal logic
• Handbook of modal logic

Cited in

(12)

• Failure of interpolation in relevant logics
• Failures semantics based on interval semiwords is a congruence for refinement
• Failure of interpolation in combined modal logics
• Nested sequents for intuitionistic logics
• A canonical model for constant domain basic first-order logic
• Nested sequents or tree-hypersequents -- a survey
• A Logical Autobiography
• Multicomponent proof-theoretic method for proving interpolation properties
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• scientific article; zbMATH DE number 3863171 (Why is no real title available?)
• Ten problems in Gödel logic
• The Craig interpolation property in first-order Gödel logic

This page was built for publication: Failure of interpolation in constant domain intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2869908)