Logics of formal inconsistency arising from systems of fuzzy logic

DOI10.1093/JIGPAL/JZU016MaRDI QIDQ4644497zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Francesc Esteva, Lluís Godo

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1307.3667

zbMATH Keywords

paraconsistencymathematical fuzzy logicdegree-preserving fuzzy logicslogics of formal inconsistencyconsistency operatorlogic MTL

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)

Abstract: This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper 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.

Recommendations

• Paraconsistency properties in degree-preserving fuzzy logics
• Consequence-inconsistency interrelation: in the framework of paraconsistent logics
• A Para Consistent Fuzzy Logic
• On the philosophy and mathematics of the logics of formal inconsistency
• Paraconsistent fuzzy logic preserving non-falsity

Cited in

(8)

• An application of Peircean triadic logic: modelling vagueness
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Logics of formal inconsistency based on distributive involutive residuated lattices
• A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
• A measure of consistency for fuzzy logic theories
• Paraconsistency properties in degree-preserving fuzzy logics
• On the philosophy and mathematics of the logics of formal inconsistency
• Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency

This page was built for publication: Logics of formal inconsistency arising from systems of fuzzy logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644497)