Pages that link to "Item:Q2987765"
From MaRDI portal
The following pages link to Relational semantics for the 4-valued relevant logics BN4 and E4 (Q2987765):
Displaying 5 items.
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- ``Four-valued'' semantics for the relevant logic R (Q1876086) (← links)
- A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4 (Q4644573) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)