@ARTICLE{FUZIMPL1.MIZ,
  AUTHOR = {Grabowski, Adam},
  TITLE = {Formal Introduction to Fuzzy Implications},
  DAY = {3},
  MONTH = {September},
  YEAR = {2017},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SECTION1 = {Preliminaries},
  SECTION2 = {Basic Attributes Defining Fuzzy Implications},
  SECTION3 = {Examples Showing Independence of Axioms},
  SECTION4 = {Catalogue of Fuzzy Implications},
  SECTION5 = {Boundary Fuzzy Implications},
  SUMMARY = {In the article we present in the Mizar system
  \cite{Mizar-State-2015} the catalogue of nine basic
  fuzzy implications,
  used especially in the theory of fuzzy sets \cite{Zadeh:1965}.
  This work is a continuation of the development
  of fuzzy sets in Mizar \cite{GrabowskiFuzzy:2013};
  it could be used to give a variety of
  more general operations on fuzzy sets.},}

