RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
From MaRDI portal
Publication:3550705
Recommendations
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Algebras of Relations and Relevance Logic
- Some relevance logics from the point of view of relational semantics
- Relational Logics and Their Applications
- scientific article; zbMATH DE number 1028818
- scientific article; zbMATH DE number 575580
- Relevance logics and intuitionistic negation
- scientific article; zbMATH DE number 4177028
- scientific article; zbMATH DE number 1778910
- scientific article; zbMATH DE number 2101978
Cites work
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3968557 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 3269000 (Why is no real title available?)
- Algebras of Relations and Relevance Logic
- Begründung einer strengen Implikation
- Classical relevant logics. I
- Duality for algebras of relevant logics
- Entailment and relevance1
- Models for entailment
- On the calculus of relations
- On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Relation algebras and projective geometries
- Semantics for relevant logics
- The first axiomatization of relevant logic
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- The semantics of entailment. II
- The semantics of entailment. III
- The undecidability of entailment and relevant implication
Cited in
(27)- Relevance Logic as a Conservative Extension of Classical Logic
- Some relevance logics from the point of view of relational semantics
- The calculus of context relations
- Relational Logics and Their Applications
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
- Ordering properties for the Routley-Meyer relation \(R\)
- scientific article; zbMATH DE number 4055572 (Why is no real title available?)
- Weakly associative relation algebras hold the key to the universe
- Algebras of Relations and Relevance Logic
- scientific article; zbMATH DE number 2246054 (Why is no real title available?)
- Positive fragments of relevance logic and algebras of binary relations
- scientific article; zbMATH DE number 4031648 (Why is no real title available?)
- A Note on the Relevance of Semilattice Relevance Logic
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
- Relevance-Sensitive Truth-Trees
- Lower semilattice-ordered residuated semigroups and substructural logics
- An explanation for the ternary relation R in the relational semantics of relevance logic
- Representable and diagonally representable weakening relation algebras
- scientific article; zbMATH DE number 1778910 (Why is no real title available?)
- Tarskian Classical Relevant Logic
- Situations, propositions, and information states
- Relational calculus for actionable knowledge
- scientific article; zbMATH DE number 4063064 (Why is no real title available?)
- 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: RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550705)
