zbMATH — the first resource for mathematics

Logics of formal inconsistency arising from systems of fuzzy logic. (English) Zbl 1405.03062
Summary: This article proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this article we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in the style of the so-called Logics of Formal Inconsistency (LFIs). The main novelty of the present approach is the definition of postulates for this type of operators over MTL-algebras, leading to the definition and axiomatization of a family of logics, expansions of MTL, whose degree-preserving counterpart are paraconsistent and moreover LFIs.

03B52 Fuzzy logic; logic of vagueness
03B53 Paraconsistent logics
PDF BibTeX Cite
Full Text: DOI