Displaying similar documents to “Deductive systems of BCK-algebras”

Annihilators in BCK-algebras

Radomír Halaš (2003)

Czechoslovak Mathematical Journal

Similarity:

We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra 𝒜 . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice 𝒟 ( A ) of all deductive systems on 𝒜 . Moreover, relative annihilators of C 𝒟 ( A ) with respect to B 𝒟 ( A ) are introduced and serve as relative pseudocomplements of C w.r.t. B in 𝒟 ( A ) .