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

DOI10.1093/JIGPAL/JZW011zbMATH Open1405.03061OpenAlexW2333402297MaRDI QIDQ4644573FDOQ4644573

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

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

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)

Cited In (13)

• Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
• A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
• 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
• The Weak Variable Sharing Property
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
• 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
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4

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)