Return to Article Details Positive implicative ideals of BCK-algebras based on neutrosophic sets and falling shadows Download Download PDF