Failure of interpolation in relevant logics

DOI10.1007/BF01349560MaRDI QIDQ689074zbMATH OpenOpenAlexFDO

Authors 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

amalgamation propertyrelevant logicentailmentinterpolation theoremticket 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)

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

Cites work

• scientific article; zbMATH DE number 3124826 (Why is no real title available?)
• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3176521 (Why is no real title available?)
• scientific article; zbMATH DE number 3723412 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• Classes without the amalgamation property
• Relation algebras and projective geometries
• Representation of Modular Lattices and Of Relation Algebras
• The amalgamation property in equational classes of modular lattices
• The undecidability of entailment and relevant implication

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 ¹ ( Q _α ) and L ^{1, 1} ( Q _α , α = 0, 1, 2,…
• Duality for algebras of relevant logics
• Failure of interpolation in constant domain intuitionistic logic
• A Logical Autobiography
• Preservation of Craig interpolation by the product of matrix logics
• Craig interpolation in displayable logics
• Modal translations in substructural logics
• A plea for KR
• 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)