Completeness theorems for first-order logics of formal inconsistency

Abstract

We investigate the question of characterizing first-order LFIs (Logics of Formal Inconsistency) by means of two-valued semantics. Although we focus on a particular study-case, the quantified logic QmbC, it will be shown how the method proposed here can be extended to a large fam- ily of quantified paraconsistent logics, supplying a sound and complete semantical interpretation for such logics.