دورية أكاديمية
Logics of formal inconsistency arising from systems of fuzzy logic
العنوان: | Logics of formal inconsistency arising from systems of fuzzy logic |
---|---|
المؤلفون: | Coniglio, Marcelo E., Esteva, Francesc, Godo, Lluis |
المساهمون: | Ministerio de Economía y Competitividad (España), European Commission, Fundação de Amparo à Pesquisa do Estado de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brasil) |
بيانات النشر: | Oxford University Press |
سنة النشر: | 2014 |
المجموعة: | Digital.CSIC (Consejo Superior de Investigaciones Científicas / Spanish National Research Council) |
مصطلحات موضوعية: | Mathematical fuzzy logic, Logics of formal inconsistency, Logic MTL, Paraconsistency, Degree-preserving fuzzy logics, Consistency operator |
الوصف: | 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. ; The authors have been partially supported by the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009-247584). Coniglio was also supported by FAPESP (Thematic Project LogCons 2010/51038-0), and by a research grant from CNPq (PQ 305237/2011-0). Esteva and Godo also acknowledge partial support by the MINECO project TIN2012-39348-C02-01 ; Peer Reviewed |
نوع الوثيقة: | article in journal/newspaper |
اللغة: | unknown |
تدمد: | 1367-0751 |
العلاقة: | #PLACEHOLDER_PARENT_METADATA_VALUE#; info:eu-repo/grantAgreement/EC/FP7/247584; Publisher's version; Sí; uri: http://arxiv.org/abs/1307.3667Test; Logic Journal of the IGPL 22 (6): 880- 904 (2014); http://hdl.handle.net/10261/131548Test; http://dx.doi.org/10.13039/501100003329Test; http://dx.doi.org/10.13039/501100000780Test; http://dx.doi.org/10.13039/501100001807Test; http://dx.doi.org/10.13039/501100003593Test |
DOI: | 10.1093/jigpal/jzu016 |
DOI: | 10.13039/501100003329 |
DOI: | 10.13039/501100000780 |
DOI: | 10.13039/501100001807 |
DOI: | 10.13039/501100003593 |
الإتاحة: | https://doi.org/10.1093/jigpal/jzu016Test https://doi.org/10.13039/501100003329Test https://doi.org/10.13039/501100000780Test https://doi.org/10.13039/501100001807Test https://doi.org/10.13039/501100003593Test http://hdl.handle.net/10261/131548Test |
حقوق: | open |
رقم الانضمام: | edsbas.8B44FD13 |
قاعدة البيانات: | BASE |
تدمد: | 13670751 |
---|---|
DOI: | 10.1093/jigpal/jzu016 |