Hashem Bordbar et al. 2022. Positive implicative ideals of BCK-algebras based on neutrosophic sets and falling shadows. Neutrosophic Sets and Systems. 48, (Feb. 2022), 9–30.