A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
SummaryWe continue in the Mizar system  the formalization of fuzzy implications according to the book of Baczyński and Jayaram "Fuzzy Implications" . In this article we define fuzzy negations and show their connections with previously defined fuzzy implications  and  and triangular norms and conorms . This can be seen as a step towards building a formal framework of fuzzy connectives . We introduce formally Sugeno negation, boundary negations and show how these operators aredoi:10.2478/forma-2020-0011 fatcat:t7ipdrq4s5c5be5iihlcaed5tq