Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators

DOI10.1007/s10849-016-9237-8zbMath1396.03045OpenAlexW2293191596MaRDI QIDQ2011822

Yanyan Li

Publication date: 7 August 2017

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-016-9237-8

zbMATH Keywords

many-valued logicsŁukasiewicz 4-valued modal logicBelnap-Dunn type bivalent semanticsbilattice logicsBrady's 4-valued logicŁukasiewicz many-valued logicsmodal many-valued logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

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, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, 40 years of FDE: an introductory overview, 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

Uses Software

• MaTest

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An interpretation of Łukasiewicz's 4-valued modal logic
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• Where gamma fails
• The value of the four values
• On Łukasiewicz's four-valued modal logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Reasoning with logical bilattices
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
• An abstract algebraic logic approach to tetravalent modal logics
• Kripke Semantics for Modal Bilattice Logic
• Inconsistency Tolerance