Pages that link to "Item:Q4664019"
From MaRDI portal
The following pages link to Routely-Meyer Semantics for some weak Boolean Logics, and some Translations (Q4664019):
Displaying 3 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions (Q4644508) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)