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

DOI10.1007/S10849-016-9237-8MaRDI QIDQ2011822zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• scientific article; zbMATH DE number 3084370 (Why is no real title available?)
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• An abstract algebraic logic approach to tetravalent modal logics
• An interpretation of Łukasiewicz's 4-valued modal logic
• Inconsistency Tolerance
• Intuitive semantics for first-degree entailments and `coupled trees'
• Kripke semantics for modal bilattice logic
• Many-valued modal logics: a simple approach
• Modal logics with Belnapian truth values
• On axiomatization of Łukasiewicz's four-valued modal logic
• On Łukasiewicz's four-valued modal logic
• Paraconsistent modal logic
• Partiality and its dual
• Reasoning with logical bilattices
• The value of the four values
• Where gamma fails

Cited in

(14)

• On Ivlev's semantics for modality
• 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
• Modal logics with Belnapian truth values
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Paraconsistent modal logic
• An alternative definition of quantifiers on four-valued Łukasiewicz algebras
• A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• 40 years of FDE: an introductory overview
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE

Describes a project that uses

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)