RELEVANCE LOGICS AND RELATION ALGEBRAS

DOI10.1017/S1755020309090145zbMath1174.03005MaRDI QIDQ5323794

Roger D. Maddux, Katalin Bimbó, J. Michael Dunn

Publication date: 30 July 2009

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

zbMATH Keywords

sequent calculusrelation algebradynamic semanticssubstructural logicrelevance logicternary relational semanticstableaux formalization

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (7)

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 ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Failure of interpolation in relevant logics
• Admissibility of cut in LC with fixed point combinator
• Relational semantics for Kleene logic and action logic
• Dual gaggle semantics for entailment
• A sieve for entailments
• A relational representation of quasi-Boolean algebras
• Classical relevant logics. I
• Classical relevant logics. II
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Intuitive semantics for first-degree entailments and `coupled trees'
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• On representable relation algebras
• The representation of relational algebras
• Representation of Modular Lattices and Of Relation Algebras
• The undecidability of entailment and relevant implication
• The Structure of Relation Algebras Generated by Relativizations
• Algebraic completeness results for R-mingle and its extensions
• On the calculus of relations
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: RELEVANCE LOGICS AND RELATION ALGEBRAS