Shoar, S. K., R. A. Borzooei, R. Moradian, and A. Radfar. “PC-Lattices: A Class of Bounded BCK-Algebras”. Bulletin of the Section of Logic, vol. 47, no. 1, Mar. 2018, pp. 33–44, doi:10.18778/0138-0680.47.1.03.