Volume 34 • Number 2 • 2011   • On Axiom Systems of Pseudo-BCK Algebras Andrzej Walendziak Abstract. A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudo-BCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35. Full text: PDF