T-norm-based logics with an independent involutive negation

Flaminio, Tommaso; Marchioni, Enrico

doi:10.1016/j.fss.2006.06.016

Cited by 31 publications

(20 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As far as we know, expansions with an involutive negation have only been studied when considered together with the Monteiro-Baaz operator [22]. Here we define an expansion of a core fuzzy logic L by an involutive negation without using .…”

Section: Adding An Involutive Negationmentioning

confidence: 99%

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics

Ertola¹,

Esteva²,

Flaminio³

et al. 2013

Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology

Self Cite

View full text Add to dashboard Cite

Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a discipline studying formal many-valued systems arising from fuzzy set theory. In this paper we study to what extent different systems of fuzzy logic are paraconsistent, identifying which families of fuzzy logics satisfy interesting paraconsistency properties.

show abstract

Section: Adding An Involutive Negationmentioning

confidence: 99%

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics

Ertola¹,

Esteva²,

Flaminio³

et al. 2013

Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…But this can be reached if one adds the Łukasiewicz negation to these systems, as first discussed in [32] and later extended e.g. in [18,44]. Subsection 2.2.2 of [9] offers a good survey.…”

Section: Invoking T-normsmentioning

confidence: 99%

Fuzzy sets and formal logics

Godo

Gottwald

2015

Fuzzy Sets and Systems

View full text Add to dashboard Cite

show abstract

“…This was noticed in [Esteva et al, 2000], and has been deeply studied by Cintula et al in [2006] where the expansions of SBL with an involutive negation are systematically investigated. The addition of an involutive negation in the more general framework of MTL has also been addressed by Flaminio and Marchioni in [2006].…”

Section: More Complex Residuated Logicsmentioning

confidence: 99%