Title of article :
On Axiom Systems of Pseudo-BCK Algebras
Author/Authors :
Walendziak, Andrzej Institute of Mathematics and Physics - University of Podlasie, PL-08110 Siedlce, Poland
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).
Keywords :
BCK algebra , pseudo , BCK algebra , (bounded) commutative pseudo , BCK algebra
Journal title :
Bulletin of the Malaysian Mathematical Sciences Society
Journal title :
Bulletin of the Malaysian Mathematical Sciences Society
