Pages that link to "Item:Q484156"
From MaRDI portal
The following pages link to Algebraic Kripke-style semantics for relevance logics (Q484156):
Displaying 11 items.
- An algebraic semantics of notional entailment logic Cn (Q917325) (← links)
- Kripke semantics for modal substructural logics (Q1863750) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- Simplified Kripke-style semantics for some normal modal logics (Q2186691) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Algebras of Relations and Relevance Logic (Q3623220) (← links)
- A Note on the Relevance of Semilattice Relevance Logic (Q5205978) (← links)
- An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic (Q5213662) (← links)
- SUBSTRUCTURAL INQUISITIVE LOGICS (Q5381041) (← links)
- (Q5863756) (← links)
