Failure of interpolation in relevant logics

DOI10.1007/BF01349560zbMath0798.03020OpenAlexW2041574133MaRDI QIDQ689074

Alasdair Urquhart

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

zbMATH Keywords

relevant logicinterpolation theorementailmentamalgamation propertyticket entailmentvarieties of distributive lattice-ordered monoids

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties (08B99)

Related Items (12)

Duality for algebras of relevant logics ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ A plea for KR ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Craig Interpolation in Displayable Logics ⋮ Modal translations in substructural logics ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Craig interpolation for semilinear substructural logics ⋮ A Logical Autobiography ⋮ Tarskian Classical Relevant Logic ⋮ Geometric Models for Relevant Logics ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras and projective geometries
• Classes without the amalgamation property
• The amalgamation property in equational classes of modular lattices
• Representation of Modular Lattices and Of Relation Algebras
• The undecidability of entailment and relevant implication

This page was built for publication: Failure of interpolation in relevant logics