Formal Introduction to Fuzzy Implications

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

[1]  Adam Grabowski,et al.  Initial Comparison of Formal Approaches to Fuzzy and Rough Sets , 2015, ICAISC.

[2]  Adam Grabowski,et al.  Basic Formal Properties of Triangular Norms and Conorms , 2017, Formaliz. Math..

[3]  Adam Grabowski,et al.  Rough Set Theory from a Math-Assistant Perspective , 2007, RSEISP.

[4]  Adam Grabowski,et al.  On the computer certification of fuzzy numbers , 2013, 2013 Federated Conference on Computer Science and Information Systems.

[5]  Adam Naumowicz,et al.  Four Decades of Mizar , 2015, Journal of Automated Reasoning.

[6]  Adam Grabowski,et al.  Extending Formal Fuzzy Sets with Triangular Norms and Conorms , 2017, EUSFLAT/IWIFSGN.

[7]  Adam Grabowski.  The Formal Construction of Fuzzy Numbers , 2014, Formaliz. Math..

[8]  Takashi Mitsuishi.  The Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation , 2004 .

[9]  Adam Grabowski,et al.  Lattice Theory for Rough Sets - A Case Study with Mizar , 2016, Fundam. Informaticae.

[10]  Michal Baczynski,et al.  Fuzzy Implications , 2008, Studies in Fuzziness and Soft Computing.