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
4-valued logicsmany-valued logicsrelevant logicsBelnap-Dunn-type semanticsBrady's logic \(\mathrm{BN}4\)
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)