Failure of Interpolation in Constant Domain Intuitionistic Logic

DOI10.2178/jsl.7803120zbMath1327.03007arXiv1202.3519OpenAlexW3104265051MaRDI QIDQ2869908

Alasdair Urquhart, Grigory K. Olkhovikov, Grigori 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

zbMATH Keywords

intuitionistic logicKripke modelinterpolation propertyBarcan formulaconstant domainGödel-Tarski translationGrzegorczyk model

Mathematics Subject Classification ID

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

Related Items

Ten problems in Gödel logic ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Nested sequents for intuitionistic logics ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ A Logical Autobiography

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Failures of the interpolation lemma in quantified modal 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