Quotient BCK-algebra by a fuzzy BCK-filter (Q1430469)

The authors construct a quotient BCK-algebra by a fuzzy BCK-filter which is different from th one given by \textit{Y. B. Jun, S. S. Ahn} and \textit{H. S. Kim} [J. Fuzzy Math. 7, 465--471 (1999; Zbl 0940.06016)]. Also, many properties related to fuzzy BCK-filters are investigated. Moreover, the authors introduce the notion of fuzzy prime BCK-filters in bounded commutative BCK-algebras and obtain some of their fundamental properties. In particular, the authors characterize totally ordered bounded commutative BCK-algebras by fuzzy prime BCK-filters. That is , let \(X\) be a bounded commutative BCK-algebra. Then the following are equivalent: (i) \(X\) is totally ordered; (ii) Every fuzzy BCK-filter of \(X\) is prime; (iii) Every fuzzy BCK-filter \(\mu\) of \(X\) with \(\mu(1)=1\) is prime; (iv) The fuzzy unit BCK-filter \(X_{\{1\}}\) of \(X\) is prime. As an application of the above results, the authors show that if \(\mu\) is a fuzzy BCK-filter of a bounded commutative BCK-algebra \(X\), then the following are equivalent: (i) \(\mu\) is prime; (ii) \(X/\mu\) is totally ordered; (iii) \(X/\mu\) has no zero divisor.