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.

NMŁ, a Schematic Extension of F.Esteva and L.Godo's Logic MTL

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

A Fuzzy Logic for an Ordinal Sum T-Norm

A temporal semantics for Nilpotent Minimum logic

Involutive Monoidal T-Norm Based Logic and R0 Logic

Involutive Monoidal T-Norm-Based Logic And R-0 Logic

The Axiomatization For 0-Level Universal Logic

Monadic NM-algebras

Normal proofs and tableaux for the Font-Rius tetravalent modal logic

Logical Expressibility of Syntactic NL for Complementarity, Monotonicity, and Maximization

A propositional calculus formal deductive system ULh∈0,1] of universal logic

Tho Modal Logic of Minimal Upper Bounds

NP Reasoning in the Monotone $μ$-Calculus

Multi-valued Logic Design Methodology with Double Negative Differential Resistance Transistors

Stone-like representation theorems and three-valued filters in R0- algebras (nilpotent minimum algebras)

Satisfiability Checking for Mission-time LTL (MLTL)

A triangular-norm-based propositional fuzzy logic

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

Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics

On guarded extensions of MMSNP

A characterization of truth-functions in the nilpotent minimum logic