<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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).</p></abstract>

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).

Formal Introduction to Fuzzy Implications

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Formal Introduction to Fuzzy Implications"}

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...

Formal Introduction to Fuzzy Implications

Data publikacji: 19 gru 2017

Zakres stron: 241 - 248

Otrzymano: 03 wrz 2017

DOI: https://doi.org/10.1515/forma-2017-0023

Słowa kluczowe
fuzzy implication, fuzzy set, fuzzy logic

© 2017 Adam Grabowski, published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Formal Introduction to Fuzzy Implications

Data publikacji: 19 gru 2017

Zakres stron: 241 - 248

Otrzymano: 03 wrz 2017

DOI: https://doi.org/10.1515/forma-2017-0023

Słowa kluczowefuzzy implication, fuzzy set, fuzzy logic

© 2017 Adam Grabowski, published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Słowa kluczowe
fuzzy implication, fuzzy set, fuzzy logic