A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
From MaRDI portal
Publication:4644573
DOI10.1093/JIGPAL/JZW011zbMath1405.03061OpenAlexW2333402297MaRDI QIDQ4644573
No author found.
Publication date: 8 January 2019
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzw011
many-valued logics4-valued logicsrelevant logicsBelnap-Dunn-type semanticsBrady's logic \(\mathrm{BN}4\)
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (8)
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 ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B ⋮ The Weak Variable Sharing Property ⋮ 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