Interpolation in non-classical logics
From MaRDI portal
Publication:1024121
DOI10.1007/S11229-008-9359-XzbMATH Open1171.03018OpenAlexW2088685215MaRDI QIDQ1024121FDOQ1024121
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
Recommendations
- Definability and interpolation in non-classical logics
- scientific article; zbMATH DE number 1303729
- Interpolation in fragments of classical linear logic
- Interpolation in extensions of first-order logic
- On Interpolation in Existence Logics
- Interpolation in fragments of intuitionistic propositional logic
- A non-classical refinement of the interpolation property for classical propositional logic
- Interpolation in propositional Horn logic
- scientific article
- First-order interpolation of non-classical logics derived from propositional interpolation
Cites Work
- Interpolation in fuzzy logic
- An introduction to non-classical logic
- Interpolation for extended modal languages
- Modal tableau calculi and interpolation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conservative extensions in modal logic
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- An extension of the Craig-Lyndon interpolation theorem
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Contraction-free sequent calculi for intuitionistic logic
- Title not available (Why is that?)
- Temporal logics with ``the next operator do not have interpolation or the Beth property
- Undefinability of propositional quantifiers in the modal system S4
- Failures of the interpolation lemma in quantified modal logic
- Repairing the interpolation theorem in quantified modal logic
- Interpolation in fragments of intuitionistic propositional logic
- Interpolation in fragments of classical linear logic
Cited In (15)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- Failure of interpolation in relevant logics
- On some classes of Heyting algebras with successor that have the amalgamation property
- Title not available (Why is that?)
- Lyndon Interpolation for Modal $$\mu $$-Calculus
- Interpolation and the interpretability logic of PA
- A note on constructive interpolation for the multi-modal logic \(K_m\)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Craig Interpolation for Linear Temporal Languages
- Craig interpolation in the presence of unreliable connectives
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Interpolation in fuzzy logic
- Interpolation in extensions of first-order logic
- Title not available (Why is that?)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
This page was built for publication: Interpolation in non-classical logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024121)
