Halaš, Radomír; Kühr, Jan Deductive systems and annihilators of pseudo BCK-algebras. (English) Zbl 1184.06011 Ital. J. Pure Appl. Math. 25, 83-94 (2009). 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. Reviewer: Wiesław A. Dudek (Wrocław) Cited in 3 Documents MSC: 06F35 BCK-algebras, BCI-algebras (aspects of ordered structures) 03G25 Other algebras related to logic Keywords:pseudo BCK-algebra; annihilator; deductive system; filter; variety PDF BibTeX XML Cite \textit{R. Halaš} and \textit{J. Kühr}, Ital. J. Pure Appl. Math. 25, 83--94 (2009; Zbl 1184.06011)