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 propertyentailmentinterpolation theoremrelevant logicticket 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)

Review text

By a sophisticated geometrical construction (using the fact that a non- Arguesian projective plane cannot be imbedded into a three-dimensional projective space), it is shown that Craig's interpolation theorem fails for entailment \(E\), relevant logic \(R\), for the logic \(T\) of ticket entailment and for a large class of related systems. It is indicated how to use these results to show failure of the amalgamation property in many varieties of distributive lattice-ordered monoids.

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

• Classes without the amalgamation property
• 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?)
• 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

(19)

• Modal translations in substructural logics
• Duality for algebras of relevant logics
• Craig interpolation in the presence of unreliable connectives
• Preservation of Craig interpolation by the product of matrix logics
• A plea for KR
• Failure of interpolation in constant domain intuitionistic logic
• Craig interpolation in displayable logics
• Craig interpolation for semilinear substructural logics
• Two Models that show the Interpolation Theorem Fails in all L ¹ ( Q _α ) and L ^{1, 1} ( Q _α , α = 0, 1, 2,…
• A Logical Autobiography
• Tarskian Classical Relevant Logic
• Geometric Models for Relevant Logics
• Modal Logics of Some Hereditarily Irresolvable Spaces
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Failure of interpolation in combined modal logics
• Universal proof theory: semi-analytic rules and Craig interpolation
• Amalgamation in semilinear residuated lattices
• Failure of Beth's theorem in relevance logics
• Withered relevance. Evaluating the Anderson-Belnap account of relevant 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)