On axiom systems of pseudo-BCK algebras

MaRDI QIDQ538028zbMATH OpenFDO

Authors Andrzej Walendziak

Publication date 23 May 2011

Published in Bulletin of the Malaysian Mathematical Sciences Society. Second Series (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/244390, http://math.usm.my/bulletin/html/vol34_2_8.html

zbMATH Keywords

commutative pseudo-BCK algebrapseudo-BCK algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) BCK-algebras, BCI-algebras (06F35)

Review text

A simple system of independent axioms for pseudo-BCK and commutative pseudo-BCK algebras is presented.

Recommendations

• Commutative pseudo BCK-algebras
• Commutative deductive systems of pseudo-BCK-algebras
• scientific article; zbMATH DE number 5295432
• Classes of pseudo-BCK algebras. II
• scientific article; zbMATH DE number 6973805

Cited in

(6)

• Some results on pseudo-Q algebras
• Commutative deductive systems of pseudo-BCK-algebras
• On pseudo-CI algebras
• scientific article; zbMATH DE number 6718855 (Why is no real title available?)
• Generalized pseudo BE-algebras
• Pseudo GE-algebras as the extension of GE-algebras

This page was built for publication: On axiom systems of pseudo-BCK algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q538028)