On Axiom Systems of Pseudo-BCK Algebras
Malaysian Mathematical, Andrzej Walendziak · 2011
A symplied axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms dening bounded commutative pseudo- BCK algebras and show that these axioms are independent (that is, none follows from the others).