RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS

DOI10.1017/S1755020309990293zbMATH Open1198.03029MaRDI QIDQ3550705FDOQ3550705

Roger Maddux

Publication date: 1 April 2010

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

Recommendations

• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Algebras of Relations and Relevance Logic
• Some relevance logics from the point of view of relational semantics
• Relational Logics and Their Applications
• scientific article; zbMATH DE number 1028818
• scientific article; zbMATH DE number 575580
• Relevance logics and intuitionistic negation
• scientific article
• scientific article; zbMATH DE number 1778910
• scientific article; zbMATH DE number 2101978

zbMATH Keywords

semanticsrelevant logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (22)

• Relation algebras of Sugihara, Belnap, Meyer, and Church
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tarskian Classical Relevant Logic
• POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS
• Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
• The calculus of context relations
• Representable and diagonally representable weakening relation algebras
• Lower semilattice-ordered residuated semigroups and substructural logics
• Title not available (Why is that?)
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Title not available (Why is that?)
• Relevance Logic as a Conservative Extension of Classical Logic
• Algebras of Relations and Relevance Logic
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Title not available (Why is that?)
• A Note on the Relevance of Semilattice Relevance Logic
• Relevance-Sensitive Truth-Trees
• Ordering properties for the Routley-Meyer relation \(R\)
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
• Relational Logics and Their Applications
• Relational calculus for actionable knowledge

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550705)