Shoar, S. K.; Borzooei, R. A.; Moradian, R.; Radfar, A. PC-Lattices: A Class of Bounded BCK-Algebras. B Sect Log 2018, 47 (1), 33–44. https://doi.org/10.18778/0138-0680.47.1.03.