Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras

DOI10.1007/978-3-319-06025-5_34zbMATH Open1354.03026OpenAlexW213280967MaRDI QIDQ5249693FDOQ5249693

J. Michael Dunn

Publication date: 11 May 2015

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_34

Recommendations

• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
• scientific article; zbMATH DE number 1292308
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• scientific article; zbMATH DE number 1047502

zbMATH Keywords

relevance logicrelation algebrasarrow logicternary relational semantics

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)

Cites Work

• The semantics of entailment. II
• The semantics of entailment. III
• The genesis of possible worlds semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinators and structurally free logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Language in action. Categories, lambdas and dynamic logic
• New axiomatics for relevant logics. I
• Title not available (Why is that?)
• On the ternary relation and conditionality
• Title not available (Why is that?)
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• Defining double negation elimination
• A star-free semantics for R
• The representation of relational algebras
• Title not available (Why is that?)
• Relational semantics for Kleene logic and action logic
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Algebras of Relations and Relevance Logic
• RELEVANCE LOGICS AND RELATION ALGEBRAS

Cited In (4)

• Tracking Information
• A “Reply” to My “Critics”
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
• RELEVANCE LOGICS AND RELATION ALGEBRAS

This page was built for publication: Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras

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