RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS

DOI10.1017/S1755020309990293zbMath1198.03029MaRDI QIDQ3550705

Roger D. Maddux

Publication date: 1 April 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

relevant logicsemantics

Mathematics Subject Classification ID

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

Related Items (8)

Representable and diagonally representable weakening relation algebras ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Lower semilattice-ordered residuated semigroups and substructural logics ⋮ Relevance-Sensitive Truth-Trees ⋮ Tarskian Classical Relevant Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• Relation algebras and projective geometries
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The first axiomatization of relevant logic
• Models for entailment
• Classical relevant logics. I
• The semantics of entailment. II
• The semantics of entailment. III
• Duality for algebras of relevant logics
• Begründung einer strengen Implikation
• Entailment and relevance¹
• Algebras of Relations and Relevance Logic
• The undecidability of entailment and relevant implication
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Semantics for relevant logics
• On the calculus of relations

This page was built for publication: RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS