Xin, X. L., Borzooei, R. A., & Jun, Y. B. (2019). Positive Implicative Soju Ideals in BCK-Algebras. Bulletin of the Section of Logic, 48(1), 1–18. https://doi.org/10.18778/0138-0680.48.1.01