Pages that link to "Item:Q2011822"
From MaRDI portal
The following pages link to Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822):
Displayed 7 items.
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)