×

zbMATH — the first resource for mathematics

Deductive systems and annihilators of pseudo BCK-algebras. (English) Zbl 1184.06011
Deductive systems (filters) of a pseudo BCK-algebra form an algebraic distributive lattice in which the pseudocomplements are just the annihilators. A variety of pseudo BCK-algebras is congruence distributive and weakly regular.

MSC:
06F35 BCK-algebras, BCI-algebras (aspects of ordered structures)
03G25 Other algebras related to logic
PDF BibTeX XML Cite