Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Logics of formal inconsistency arising from systems of fuzzy logic

Texto completo
Autor(es):
Coniglio, Marcelo E. [1, 2] ; Esteva, Francesc [3] ; Godo, Lluis [3]
Número total de Autores: 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
Número total de Afiliações: 3
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
Linha de fomento: Auxílio à Pesquisa - Temático