A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4

DOI10.1093/JIGPAL/JZW011MaRDI QIDQ4644573zbMATHOpenAlexFDO

Authors

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzw011

zbMATH Keywords

4-valued logicsmany-valued logicsrelevant logicsBelnap-Dunn-type semanticsBrady's logic \(\mathrm{BN}4\)

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• Relational semantics for the 4-valued relevant logics BN4 and E4
• Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
• Four-valued semantics for relevant logics (and some of their rivals)
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• ``Four-valued semantics for the relevant logic R
• A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• A new four-valued approach to modal logic

Cited in

(14)

• Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
• Relational semantics for the 4-valued relevant logics BN4 and E4
• The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
• Correspondence analysis and automated proof-searching for first degree entailment
• A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
• The Weak Variable Sharing Property
• Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE

This page was built for publication: A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644573)