Interpolation in non-classical logics
From MaRDI portal
Publication:1024121
DOI10.1007/s11229-008-9359-xzbMath1171.03018MaRDI QIDQ1024121
Publication date: 16 June 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-008-9359-x
03C40: Interpolation, preservation, definability
Related Items
On some classes of Heyting algebras with successor that have the amalgamation property, Craig interpolation in the presence of unreliable connectives, UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS, Craig Interpolation for Linear Temporal Languages
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Temporal logics with ``the next operator do not have interpolation or the Beth property
- Modal tableau calculi and interpolation
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Repairing the interpolation theorem in quantified modal logic
- Interpolation in fuzzy logic
- Undefinability of propositional quantifiers in the modal system S4
- Failures of the interpolation lemma in quantified modal logic
- Interpolation for extended modal languages
- Interpolation in fragments of intuitionistic propositional logic
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Contraction-free sequent calculi for intuitionistic logic
- Interpolation in fragments of classical linear logic
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- An extension of the Craig-Lyndon interpolation theorem