Paraconsistency properties in degree-preserving fuzzy logics

Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that de...

Descripción completa

Detalles Bibliográficos
Autores: Ertola, Rodolfo, Esteva, Francesc, Flaminio, Tommaso, Godo, Lluis, Noguera, Carles
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2015
País:España
Institución:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/131113
Acceso en línea:http://hdl.handle.net/10261/131113
Access Level:acceso abierto
Palabra clave:Fuzzy logics
Paraconsistency
Mathematical fuzzy logic
In-Degree
Paraconsistent logic
Logics of formal inconsistency
Descripción
Sumario:Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inconsistency. We also consider their expansions with additional negation connectives and first-order formalisms and study their paraconsistency properties. Finally, we compare our approach to other paraconsistent logics in the literature. © 2014, Springer-Verlag Berlin Heidelberg.