Shoar, S. K.; Borzooei, R. A.; Moradian, R.; Radfar, A. PC-Lattices: A Class of Bounded BCK-Algebras. B Sect Log 2018, 47, 33–44.