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).
@article{bwmeta1.element.doi-10_1515_forma-2017-0023,
author = {Adam Grabowski},
title = {Formal Introduction to Fuzzy Implications},
journal = {Formalized Mathematics},
volume = {25},
year = {2017},
pages = {241-248},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.doi-10_1515_forma-2017-0023}
}
Adam Grabowski. Formal Introduction to Fuzzy Implications. Formalized Mathematics, Tome 25 (2017) pp. 241-248. http://gdmltest.u-ga.fr/item/bwmeta1.element.doi-10_1515_forma-2017-0023/