Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
From MaRDI portal
Publication:5249693
DOI10.1007/978-3-319-06025-5_34zbMath1354.03026OpenAlexW213280967MaRDI QIDQ5249693
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
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (3)
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Tracking Information ⋮ A “Reply” to My “Critics”
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Relational semantics for Kleene logic and action logic
- Language in action. Categories, lambdas and dynamic logic
- The semantics of entailment. II
- The semantics of entailment. III
- New axiomatics for relevant logics. I
- The genesis of possible worlds semantics
- The representation of relational algebras
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Algebras of Relations and Relevance Logic
- Combinators and structurally free logic
- Defining double negation elimination
- A star-free semantics for R
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
This page was built for publication: Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
