On Fuzzy Negations Generated by Fuzzy Implications

Adam Grabowski
2020 Formalized Mathematics  
SummaryWe continue in the Mizar system [2] the formalization of fuzzy implications according to the book of Baczyński and Jayaram "Fuzzy Implications" [1]. In this article we define fuzzy negations and show their connections with previously defined fuzzy implications [4] and [5] and triangular norms and conorms [6]. This can be seen as a step towards building a formal framework of fuzzy connectives [10]. We introduce formally Sugeno negation, boundary negations and show how these operators are
more » ... hese operators are pointwise ordered. This work is a continuation of the development of fuzzy sets [12], [3] in Mizar [7] started in [11] and partially described in [8]. This submission can be treated also as a part of a formal comparison of fuzzy and rough approaches to incomplete or uncertain information within the Mizar Mathematical Library [9].
doi:10.2478/forma-2020-0011 fatcat:t7ipdrq4s5c5be5iihlcaed5tq