The B₄-valued propositional Belnap-Dunn logic

DOI10.3233/IFS-151548MaRDI QIDQ2953495zbMATH OpenOpenAlexFDO

Authors Bo Chen, Yuefei Sui, Cungen Cao

Publication date 4 January 2017

Published in Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/ifs-151548

zbMATH Keywords

Belnap-Dunn logiccompletenesssoundnessunary connective

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
• Two, three, four, infinity: the path to the four-valued logic and beyond
• Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
• Classical negation and expansions of Belnap-Dunn logic
• Propositional dynamic logic with Belnapian truth values

Cites work

• A generalization of ACP using Belnap's logic
• Belnap's Four-Valued Logic and De Morgan Lattices
• Characterizing Belnap's Logic via De Morgan's Laws
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 1735917 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• Implicational classes of De Morgan lattices
• Process algebra with four-valued logic
• Reasoning with logical bilattices

Cited in

(15)

• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• Belnap-Dunn modal logic with value operators
• Correspondence analysis for first degree entailment
• scientific article; zbMATH DE number 5872210 (Why is no real title available?)
• Two, three, four, infinity: the path to the four-valued logic and beyond
• scientific article; zbMATH DE number 1309039 (Why is no real title available?)
• Belnap's Four-Valued Logic and De Morgan Lattices
• Propositional dynamic logic with Belnapian truth values
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Generalizing functional completeness in Belnap-Dunn logic
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
• scientific article; zbMATH DE number 7503168 (Why is no real title available?)
• Four-valued semantics for abstract argumentation frameworks using (extensions of) Dunn-Belnap four-valued logic

This page was built for publication: The \(B_{4}\)-valued propositional Belnap-Dunn logic

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