Abstract:Belnap–Dunn's relevance logic, , was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion of BD called , obtained by adding an unary connective which is a consistency operator (in the sense of the Logics of Formal Inconsistency, LFI s). In addition, this operator is the unique one with the following features: it extends to the consistency operator of LFI1 , a well-known three-valued LFI , still satisfying axiom ciw (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, LFU s). Moreover, is maximal w.r.t. LFI1 , and it is proved to be equivalent to BD2 , up to signature. After presenting a natural Hilbert-style characterization of obtained by means of twist-structures semantics, we propose a first-order version of called , with semantics based on an appropriate notion of four-valued Tarskian-like structures called -structures. We show that in , the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for is presented, proving the corresponding soundness and completeness theorems.

A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable

The interdefinability of expansions of Belnap-Dunn logic

On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness

Adding an Implication to Logics of Perfect Paradefinite Algebras

Reasoning with belief functions over Belnap--Dunn logic

Three-valued and four-valued approach to logic programming with negation

A Class of Strict-t-morms-based Propositional Logic

Boolean Dependence Logic and Partially-Ordered Connectives

The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬

Non-contingecy in a paraconsistent setting

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities

Which are the True Defeasible Logics?

Non-standard modalities in paraconsistent Gödel logic

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE

Abductive Reasoning in a Paraconsistent Framework

Interdefinability of defeasible logic and logic programming under the well-founded semantics

Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values

Depth-bounded epistemic logic

Knowledge and ignorance in Belnap--Dunn logic

Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic