Pages that link to "Item:Q2953495"
From MaRDI portal
The following pages link to The B4-valued propositional Belnap-Dunn logic1 (Q2953495):
Displaying 8 items.
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- (Q3086715) (← links)
- (Q4256061) (← links)
- Belnap's Four-Valued Logic and De Morgan Lattices (Q4340541) (← 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)
- (Q5067981) (← links)