Failure of interpolation in constant domain intuitionistic logic

DOI10.2178/JSL.7803120zbMATH Open1327.03007arXiv1202.3519OpenAlexW3104265051MaRDI QIDQ2869908FDOQ2869908

Alasdair Urquhart, Grigory Olkhovikov, G. E. Mints

Publication date: 7 January 2014

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

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.

Full work available at URL: https://arxiv.org/abs/1202.3519

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
• Publication:4729756
• Interpolation and implicit definability in extensions of the provability logic
• Interpolation in infinitely layered extensions of provability logic

zbMATH Keywords

intuitionistic logicinterpolation propertyKripke modelBarcan formulaconstant domain[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel-Tarski+translation&go=Go G��del-Tarski translation]Grzegorczyk model

Mathematics Subject Classification ID

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

Cites Work

• Handbook of modal logic
• Title not available (Why is that?)
• A short introduction to intuitionistic logic
• Title not available (Why is that?)
• Failures of the interpolation lemma in quantified modal logic
• Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
• Craig interpolation theorem for intuitionistic logic and extensions Part III
• Title not available (Why is that?)

Cited In (9)

• 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 Logical Autobiography
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• Multicomponent proof-theoretic method for proving interpolation properties
• Title not available (Why is that?)
• Ten problems in 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)