Implicative ideals of BCK-algebras based on the fuzzy sets and the theory of falling shadows. Jun, Young Bae, Kang, Min Su, Park, Chul Hwan (2010) International Journal of Mathematics and Mathematical Sciences