Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

DOI10.12775/LLP.2021.004OpenAlexW3136450054MaRDI QIDQ5066095

Sandra M. López

Publication date: 29 March 2022

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2021.004

zbMATH Keywords

many-valued logics4-valued logicsrelevant logicsBelnap-Dunn semanticsRoutley and Meyer's logic B

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Where gamma fails
• The value of the four values
• Rules in relevant logic. II: Formula representation
• 40 years of FDE: an introductory overview
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Reasoning with logical bilattices
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• Correspondence analysis and automated proof-searching for first degree entailment
• Relational semantics for the 4-valued relevant logics BN4 and E4
• Entailment and relevance¹
• How a Computer Should Think
• A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• A Lattice of Implicative Extensions of Regular Kleene's Logics
• Inconsistency Tolerance
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values

This page was built for publication: Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B