Pages that link to "Item:Q4583358"
From MaRDI portal
The following pages link to The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points (Q4583358):
Displaying 4 items.
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Relational semantics for the 4-valued relevant logics BN4 and E4 (Q2987765) (← links)
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic (Q4586153) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)