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

DOI10.1007/978-3-319-06025-5_34MaRDI QIDQ5249693zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

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

Cited in

(5)

• Tracking information
• Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
• A ``reply to my ``critics
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}

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)