Four-valued logics of truth, nonfalsity, exact truth, and material equivalence

DOI10.1215/00294527-2020-0025MaRDI QIDQ1981990zbMATH OpenOpenAlexFDO

Authors Adam Přenosil

Publication date 7 September 2021

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2111.09978

zbMATH Keywords

paraconsistent logicabstract algebraic logicexactly true logicfour-valued logicBelnap-Dunn logicnonclassical logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Abstract algebraic logic (03G27)

Abstract: The four-valued semantics of Belnap--Dunn logic, consisting of the truth values True, False, Neither, and Both, gives rise to several non-classical logics depending on which feature of propositions we wish to preserve: truth, non-falsity, or exact truth (truth and non-falsity). Interpreting equality of truth values in this semantics as material equivalence of propositions, we can moreover see the equational consequence relation of this four-element algebra as a logic of material equivalence. In this paper we axiomatize all combinations of these four-valued logics, for example the logic of truth and exact truth or the logic of truth and material equivalence. These combined systems are consequence relations which allow us to express implications involving more than one of these features of propositions.

Recommendations

• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• Classical negation and expansions of Belnap-Dunn logic
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа

Cites work

• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 6157349 (Why is no real title available?)
• Abstract algebraic logic. An introductory textbook
• An infinity of super-Belnap logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Implicational classes of De Morgan lattices
• Intuitive semantics for first-degree entailments and `coupled trees'
• Lattices With Involution
• Nothing but the truth
• On Priest's logic of paradox
• Some characterization theorems for infinitary universal Horn logic without equality
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins

Cited in

(14)

• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• De Morgan clones and four-valued logics
• Transparent truth-value predicates in multi-valued logics
• scientific article; zbMATH DE number 2064177 (Why is no real title available?)
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• An algebraic view of super-Belnap logics
• Exactly true and non-falsity logics meeting infectious ones
• A propositional logic with 4 values: true, false, divergent and meaningless
• A modification of Frege's and Dunn's semantics for propositional logics
• scientific article; zbMATH DE number 1775474 (Why is no real title available?)
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• The value of the one value: \textit{exactly true logic} revisited
• The \(B_{4}\)-valued propositional Belnap-Dunn logic

This page was built for publication: Four-valued logics of truth, nonfalsity, exact truth, and material equivalence

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