Logics of formal inconsistency arising from systems of fuzzy logic

DOI10.1093/JIGPAL/JZU016zbMATH Open1405.03062arXiv1307.3667OpenAlexW2114241556MaRDI QIDQ4644497FDOQ4644497

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)

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.

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

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

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)

Cited In (7)

• An application of Peircean triadic logic: modelling vagueness
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
• A measure of consistency for fuzzy logic theories
• Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
• On the Philosophy and Mathematics of the Logics of Formal Inconsistency
• Paraconsistency properties in degree-preserving fuzzy logics

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)