Logics of formal inconsistency arising from systems of fuzzy logic

Autor(es)

Coniglio, Marcelo E. ^{[1, 2]} ; Esteva, Francesc ^[3] ; Godo, Lluis ^[3]

Afiliação do(s) autor(es)

^[1] Univ Estadual Campinas, CLE, BR-13083859 Campinas, SP - Brazil

^[2] Univ Estadual Campinas, Dept Philosophy, BR-13083859 Campinas, SP - Brazil

^[3] CSIC, Artificial Intelligence Res Inst IIIA, Bellaterra 08193 - Spain

• Tipo de documento: Artigo Científico
• Fonte: LOGIC JOURNAL OF THE IGPL; v. 22, n. 6, p. 880-904, DEC 2014.
• Citações Web of Science: 6

Resumo

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. (AU)

• Processo FAPESP: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
• Beneficiário: Walter Alexandre Carnielli
• Modalidade de apoio: Auxílio à Pesquisa - Temático