Hashem Bordbar, Xiao Long Xin, Rajab Ali Borzooei, Young Bae Jun. Positive implicative ideals of BCK-algebras based on neutrosophic sets and falling shadows. Neutrosophic Sets Syst. 2022;48:9-30. Accessed April 5, 2025. https://fs.unm.edu/nss8/index.php/111/article/view/4159