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

DOI10.1007/S10849-016-9237-8zbMATH Open1396.03045OpenAlexW2293191596MaRDI QIDQ2011822FDOQ2011822

Authors: 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

Recommendations

• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• A four-valued hybrid logic with non-dual modal operators
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
• A new four-valued approach to modal logic
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• On properties of a class of four-valued paranormal logics
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Four-valued paradefinite logics
• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic

zbMATH Keywords

many-valued logics[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+4-valued+modal+logic&go=Go ��ukasiewicz 4-valued modal logic][https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+many-valued+logics&go=Go ��ukasiewicz many-valued logics]Belnap-Dunn type bivalent semanticsbilattice logicsBrady's 4-valued logicmodal many-valued logics

Mathematics Subject Classification ID

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

Cites Work

• On Łukasiewicz's four-valued modal logic
• An interpretation of Łukasiewicz's 4-valued modal logic
• On axiomatization of Łukasiewicz's four-valued modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Paraconsistent modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• Intuitive semantics for first-degree entailments and `coupled trees'
• The value of the four values
• Reasoning with logical bilattices
• Title not available (Why is that?)
• Modal logics with Belnapian truth values
• Where gamma fails
• Partiality and its dual
• Title not available (Why is that?)
• Many-valued modal logics: a simple approach
• An abstract algebraic logic approach to tetravalent modal logics
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
• Kripke semantics for modal bilattice logic
• Inconsistency Tolerance

Cited In (14)

• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• Paraconsistent modal logic
• Correspondence analysis and automated proof-searching for first degree entailment
• On Ivlev's semantics for modality
• An alternative definition of quantifiers on four-valued Łukasiewicz algebras
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• 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
• 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
• 40 years of FDE: an introductory overview
• Modal logics with Belnapian truth values
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4

Uses Software

• MaTest

This page was built for publication: Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011822)