Pages that link to "Item:Q4644573"

The following pages link to A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4 (Q4644573):

Displaying 8 items.

• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← 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)
• 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)
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4 (Q6111082) (← links)
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)