Fuzzy positive implicative ideals of BCK-algebras based on the theory of falling shadows

On the basis of the theory of a falling shadow, the notion of a falling fuzzy positive implicative ideal of a BCK-algebra is introduced. Relations between falling fuzzy positive implicative ideals and falling fuzzy ideals are given. Relations between fuzzy positive implicative ideals and falling fuzzy positive implicative ideals are provided.