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).
The distributivity law for a fuzzy implication \(I\colon [0,1]^2 \to [0,1]\) with respect to a fuzzy disjunction \(S\colon [0,1]^2 \to [0,1]\) states that the functional equation \( I(x,S(y,z))=S(I(x,y),I(x,z)) \) is satisfied for all pairs \((x,y)\) from the unit square. To compare some results obtained while solving this equation in various classes of fuzzy implications, Wanda Niemyska has reduced the problem to the study of the following two functional equations: \( h(\min(xg(y),1)) = \min(h(x)+ h(xy),1)\), \(x \in (0,1)\), \(y \in (0,1]\), and \( h(xg(y)) = h(x)+ h(xy)\), \(x,y \in (0, \infty)\), in the class of increasing bijections \(h\colon [0,1] \to [0,1]\) with an increasing function \(g\colon (0,1] \to [1, \infty)\) and in the class of monotonic bijections \(h\colon (0, \infty) \to (0, \infty)\) with a function \(g\colon (0, \infty) \to (0, \infty)\), respectively. A description of solutions in more general classes of functions (including nonmeasurable ones) is presented.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.