DeepAI AI Chat
Log In Sign Up

Logics of formal inconsistency arising from systems of fuzzy logic

07/13/2013
by   Marcelo Coniglio, et al.
CSIC
University of Campinas
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/02/2022

Coalgebraic Fuzzy geometric logic

The paper aims to develop a framework for the coalgebraic fuzzy geometri...
09/12/2009

Logic with Verbs

The aim of this paper is to introduce a logic in which nouns and verbs a...
08/12/2018

Plithogeny, Plithogenic Set, Logic, Probability, and Statistics

In this book we introduce the plithogenic set (as generalization of cris...
11/28/2019

Two Formal Systems of the λδ Family Revised

We present the framework λδ-2B that significantly improves and generaliz...
03/04/2019

The Fuzzy ROC

The fuzzy ROC extends Receiver Operating Curve (ROC) visualization to th...
06/04/2020

Analyzing Differentiable Fuzzy Implications

Combining symbolic and neural approaches has gained considerable attenti...
07/04/2012

Description Logics with Fuzzy Concrete Domains

We present a fuzzy version of description logics with concrete domains. ...