. . . . "25" . . "Deductive systems and annihilators of pseudo BCK-algebras" . "Italian Journal of Pure and Applied Mathematics" . "Deductive systems and (relative) annihilators of pseudo BCK-algebras are defined and it is proved that the deductive systems form an algebraic distributive lattice in which the (relative) pseudocomplements are just the (relative) annihilators. The congruence kernels are characterized as certain deductive systems." . "Deductive systems and annihilators of pseudo BCK-algebras"@en . "1" . "RIV/61989592:15310/09:00010214!RIV10-MSM-15310___" . . . . "Deductive systems and (relative) annihilators of pseudo BCK-algebras are defined and it is proved that the deductive systems form an algebraic distributive lattice in which the (relative) pseudocomplements are just the (relative) annihilators. The congruence kernels are characterized as certain deductive systems."@en . "Deductive systems and annihilators of pseudo BCK-algebras"@en . "309232" . "15310" . . "[06DECB47ABCB]" . "RIV/61989592:15310/09:00010214" . "IT - Italsk\u00E1 republika" . "Deductive systems and annihilators of pseudo BCK-algebras" . . "K\u00FChr, Jan" . "Hala\u0161, Radom\u00EDr" . "Pseudo BCK-algebra; Deductive system; Annihilator"@en . "1126-8042" . . "2"^^ . . "20"^^ . . . "Z(MSM6198959214)" . . "2"^^ . .