| Full text | |
| Author(s): |
Total Authors: 3
|
| Affiliation: | [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
Total Affiliations: 3
|
| Document type: | Journal article |
| Source: | LOGIC JOURNAL OF THE IGPL; v. 22, n. 6, p. 880-904, DEC 2014. |
| Web of Science Citations: | 6 |
| Abstract | |
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) | |
| FAPESP's process: | 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS |
| Grantee: | Walter Alexandre Carnielli |
| Support Opportunities: | Research Projects - Thematic Grants |