Quotient BCK-algebra induced by a fuzzy ideal (Q1808753)

Continuing previous work of the first author, \textit{Y. B. Yun} and \textit{H. S. Kim} [Fuzzy Sets Syst. 89, No. 2, 243-248 (1997; Zbl 0914.06009)], the authors show that a non-constant fuzzy ideal \(\mu\) of a BCK-algebra \(X\) allows to build up the quotient BCK-algebra \(X/\mu\), which is implicative, positive implicative and commutative if \(\mu\) has, suitably ``fuzzified'', the respective properties. Among others, the authors prove the so-called ``Fuzzy Homomorphism Fundamental Theorem'': Let \(f\) be a homomorphism of \(X\) onto the BCK-algebra \(Y\). Let \(\nu\) be a fuzzy ideal of \(Y\) and \(\mu = \nu \circ f\) the preimage of \(\nu\) under \(f\). Then \(X/\mu\) and \(Y/ \nu\) are isomorphic.