Pages that link to "Item:Q2011822"

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)