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

DOI10.1215/00294527-2020-0025zbMATH Open1489.03007arXiv2111.09978OpenAlexW3117619566MaRDI QIDQ1981990FDOQ1981990

Authors: Adam Přenosil 

Publication date: 7 September 2021

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

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.

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

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
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Lattices With Involution
• Implicational classes of De Morgan lattices
• Nothing but the truth
• Belnap's Four-Valued Logic and De Morgan Lattices
• Abstract algebraic logic. An introductory textbook
• Some characterization theorems for infinitary universal Horn logic without equality
• An infinity of super-Belnap logics
• On Priest's logic of paradox
• Title not available (Why is that?)
• 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
• Transparent truth-value predicates in multi-valued logics
• Title not available (Why is that?)
• De Morgan clones and four-valued logics
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Exactly true and non-falsity logics meeting infectious ones
• A propositional logic with 4 values: true, false, divergent and meaningless
• An algebraic view of super-Belnap logics
• A modification of Frege's and Dunn's semantics for propositional logics
• Title not available (Why is that?)
• 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)