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

abstract algebraic logicBelnap-Dunn logicexactly true logicfour-valued logicnonclassical logicparaconsistent 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.

Review text

The paper's main aim is to axiomatize various logics obtained expanding Belnap-Dunn logic's relational signature by the predicates ExTrue, NonFalse, True, and \(\approx\) and to study the interaction between all the combinations of these predicates. Besides that, the author considers also the expansions of the signature of those logics by means of constants representing some of the elements \(\mathtt{t, f, n}\), and \(\mathtt{b}\) of the original Belnap-Dunn 4-valued logic. After an introductory section, the author recalls in Section 2 various notions and results of abstract algebraic logic, De Morgan lattices and Belnap-Dunn logic. Then, in Section 3, he axiomatizes three logical systems arising from all of the combinations of the predicates True, ExTrue, and NonFalse. In Section 4, he extends these logics by the equality predicate and, in Section 5, he axiomatizes the multiple-conclusion versions of those logics, focusing mainly on the multiple-conclusion logic of ExTrue, which is the only non-trivial case.

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

• Abstract algebraic logic. An introductory textbook
• An infinity of super-Belnap logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• 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?)
• 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

(15)

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

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)