S. K. Shoar, R. A. Borzooei, R. Moradian, and A. Radfar, “PC-lattices: A Class of Bounded BCK-algebras”, B Sect Log, vol. 47, no. 1, pp. 33–44, Mar. 2018, doi: 10.18778/0138-0680.47.1.03.