Pages that link to "Item:Q3550705"

The following pages link to RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705):

Displaying 7 items.

• 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)
• POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
• Relevance-Sensitive Truth-Trees (Q5027231) (← links)
• Tarskian Classical Relevant Logic (Q5027232) (← links)
• Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)