Some results of fuzzy BCK-filters (Q5946275)

Let \(X\) be a bounded BCK-algebra and \(f\) a fuzzy set in \(X\). If a fuzzy BCK-filter \(\mu\) (for the definition of BCK-filters, see \textit{J. Meng}, Math. Jap. 44, 119-129 (1996; Zbl 0880.06012)) in \(X\) satisfies (i) \(f\leq\mu\), (ii) for any fuzzy BCK-filter \(\nu\) in \(X\), \(f\leq\nu\) implies \(\mu\leq\nu\), then \(\mu\) is said to be generated by \(f\), and denote \(\mu\) by \([f)\) for short. In this paper, the author gives a procedure to construct \([f)\) by \(f\). As one application of this result the author proves that the set of all fuzzy BCK-filters in a bounded BCK-algebra forms a complete and infinitely distributive lattice.