Failure of interpolation in relevant logics
DOI10.1007/BF01349560zbMATH Open0798.03020OpenAlexW2041574133MaRDI QIDQ689074FDOQ689074
Publication date: 9 December 1993
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01349560
Recommendations
- Failure of interpolation in combined modal logics
- Failure of interpolation in constant domain intuitionistic logic
- Some failures of interpolation in modal logic
- Restricted interpolation and lack thereof in stit logic
- Interpolation in non-classical logics
- scientific article; zbMATH DE number 3910377
- General failure of logic programs
- Failure tabled constraint logic programming by interpolation
- scientific article; zbMATH DE number 1303729
- On Interpolation in Existence Logics
amalgamation propertyrelevant logicentailmentinterpolation theoremticket entailmentvarieties of distributive lattice-ordered monoids
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties (08B99)
Cites Work
- The undecidability of entailment and relevant implication
- Title not available (Why is that?)
- Relation algebras and projective geometries
- The amalgamation property in equational classes of modular lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Classes without the amalgamation property
- Title not available (Why is that?)
- Representation of Modular Lattices and Of Relation Algebras
- Title not available (Why is that?)
Cited In (16)
- Failure of interpolation in combined modal logics
- Tarskian Classical Relevant Logic
- Geometric Models for Relevant Logics
- Modal Logics of Some Hereditarily Irresolvable Spaces
- Craig interpolation in the presence of unreliable connectives
- Universal proof theory: semi-analytic rules and Craig interpolation
- Two Models that show the Interpolation Theorem Fails in all L 1 ( Q α ) and L 1, 1 ( Q α , α = 0, 1, 2,…
- Failure of interpolation in constant domain intuitionistic logic
- Duality for algebras of relevant logics
- A Logical Autobiography
- Preservation of Craig interpolation by the product of matrix logics
- Modal translations in substructural logics
- A plea for KR
- Craig Interpolation in Displayable Logics
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Craig interpolation for semilinear substructural logics
This page was built for publication: Failure of interpolation in relevant logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689074)
