Abstract
We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra \(\mathcal{A}\). We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice \({\mathcal{D}\left( \mathcal{A} \right)}\) of all deductive systems on \(\mathcal{A}\). Moreover, relative annihilators of \({C \in \mathcal{D}\left( \mathcal{A} \right)}\) with respect to \({B\;{\text{in}}\;\mathcal{D}\left( \mathcal{A} \right)}\) are introduced and serve as relative pseudocomplements of C w.r.t. B in \({\mathcal{D}\left( \mathcal{A} \right)}\).
Similar content being viewed by others
References
H. A. S. Abujabal, M. A. Obaid and M. Aslam: On annihilators of BCK-algebras. Cze-choslovak Math. J. 45(120) (1995), 727–735.
W. J. Blok and D. Pigozzi: Algebraizable Logics. Memoirs of the American Math. Soc., No 396, Providence, Rhode Island, 1989.
I. Chajda: The lattice of deductive systems on Hilbert algebras. Southeast Asian Bull. Math., To appear.
I. Chajda and R. Halaš: Stabilizers in Hilbert algebras. Multiple Valued Logic 8 (2002), 139–148.
A. Diego: Sur les algébres de Hilbert. Collection de Logique Math. Ser. A (Ed. Hermann) 21 (1967), 177–198.
W. A. Dudek: On ideals and congruences in BCC-algebras. Czechoslovak Math. J. To appear.
K. Iséki and S. Tanaka: An introduction to the theory of BCK-algebras. Math. Japon. 23 (1978), 1–26.
K. Iséki and S. Tanaka: Ideal theory of BCK-algebras. Math. Japon. 21 (1976), 351–366.
C. A. Meredith and A. N. Prior: Investigations into implicational S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 10 (1964), 203–220.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Halaš, R. Annihilators in BCK-Algebras. Czech Math J 53, 1001–1007 (2003). https://doi.org/10.1023/B:CMAJ.0000024536.04596.67
Issue Date:
DOI: https://doi.org/10.1023/B:CMAJ.0000024536.04596.67