Published Online: Dec 19, 2017
Page range: 241 - 248
Received: Sep 03, 2017
DOI: https://doi.org/10.1515/forma-2017-0023
Keywords
© 2017 Adam Grabowski, published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
In the article we present in the Mizar system the catalogue of nine basic fuzzy implications, used especially in the theory of fuzzy sets. This work is a continuation of the development of fuzzy sets in Mizar; it could be used to give a variety of more general operations, and also it could be a good starting point towards the formalization of fuzzy logic (together with t-norms and t-conorms, formalized previously).