Pages that link to "Item:Q3623220"
From MaRDI portal
The following pages link to Algebras of Relations and Relevance Logic (Q3623220):
Displaying 25 items.
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs (Q909651) (← links)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
- On the structure of De Morgan monoids with corollaries on relevant logic and theories (Q1119633) (← links)
- A non-axiomatizability result in algebraic logic (Q1180697) (← links)
- A microcomputer based system for small relation algebras (Q1342135) (← links)
- On the algebraic structure of linear, relevance, and fuzzy logics (Q1407529) (← links)
- A note on Sugihara algebras (Q1802378) (← links)
- Duality for algebras of relevant logics (Q1914154) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← 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)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- (Q3201035) (← links)
- A COMPLETENESS THEOREM FOR CORRELATION LATTICES (Q3320369) (← links)
- (Q3352488) (← links)
- Note on algebraic models for relevance logic (Q3472078) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- Idempotents in R (Q3707992) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- Relational Logics and Their Applications (Q5302024) (← links)
- Relation Algebra and RelView Applied to Approval Voting (Q5410492) (← links)
