scientific article; zbMATH DE number 1984508

MaRDI QIDQ4428873zbMATH OpenFDO

Authors J. Michael Dunn

Publication date 22 September 2003

zbMATH Keywords

relevance logicrelation algebrasatom structureMeyer monoid

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)

Recommendations

• The Structure of Relation Algebras Generated by Relativizations
• Relation algebras and groups
• Weakly representable but not representable relation algebras
• scientific article; zbMATH DE number 67033
• Groups and Algebras of Binary Relations

Cited in

(12)

• Relation algebras of Sugihara, Belnap, Meyer, and Church
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure.
• Algebraic structure of the families of compatible frames of discernment
• Relational semantics for Kleene logic and action logic
• Larisa Maksimova’s Early Contributions to Relevance Logic
• A ``reply to my ``critics
• Mereocompactness and Duality for Mereotopological Spaces
• The relevance of relevance to relevance logic
• On the ternary relation and conditionality
• Tarskian Classical Relevant Logic
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism

This page was built for publication:

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