On Axiom Systems of Pseudo-BCK Algebras
Bulletin of the Malaysian Mathematical Society, Tome 34 (2011) no. 2
Cet article a éte moissonné depuis la source Bulletin of the Malaysian Mathematical Society website
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).
Classification :
03G25, 06F05, 06F35.
@article{BMMS_2011_34_2_a7,
author = {Andrzej Walendziak},
title = {On {Axiom} {Systems} of {Pseudo-BCK} {Algebras}},
journal = {Bulletin of the Malaysian Mathematical Society},
year = {2011},
volume = {34},
number = {2},
url = {http://geodesic.mathdoc.fr/item/BMMS_2011_34_2_a7/}
}
Andrzej Walendziak. On Axiom Systems of Pseudo-BCK Algebras. Bulletin of the Malaysian Mathematical Society, Tome 34 (2011) no. 2. http://geodesic.mathdoc.fr/item/BMMS_2011_34_2_a7/