@article{Shoar_Borzooei_Moradian_Radfar_2018, title={PC-lattices: A Class of Bounded BCK-algebras}, volume={47}, url={https://czasopisma.uni.lodz.pl/bulletin/article/view/3905}, DOI={10.18778/0138-0680.47.1.03}, abstractNote={<p>In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicative BCK-algebras with condition (S) and bounded commutative BCK-algebras. We investiate some results for Pc-lattices being a new class of BCK-lattices. Specially, we prove that any Boolean lattice is a PC-lattice and we show that if <em>X</em> is a PC-lattice with condition <em>S</em>, then <em>X</em> is an involutory BCK-algebra if and only if <em>X</em> is a commutative BCK-algebra. Finally, we prove that any PC-lattice with condition (S) is a distributive BCK-algebra.  </p>}, number={1}, journal={Bulletin of the Section of Logic}, author={Shoar, Sadegh Khosravi and Borzooei, Rajab Ali and Moradian, R. and Radfar, Atefe}, year={2018}, month={Mar.}, pages={33–44} }