Pages that link to "Item:Q5323794"
From MaRDI portal
The following pages link to RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794):
Displaying 16 items.
- On the algebraic structure of linear, relevance, and fuzzy logics (Q1407529) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Relational Complexity and Higher Order Logics (Q2807086) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- (Q3201035) (← links)
- (Q3352488) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- Algebras of Relations and Relevance Logic (Q3623220) (← links)
- A Note on the Relevance of Semilattice Relevance Logic (Q5205978) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- Relevance Logic as a Conservative Extension of Classical Logic (Q5250318) (← links)
- Relational Logics and Their Applications (Q5302024) (← links)
- The relevance logic of Boolean groups (Q5877708) (← links)