1. Annihilators in BCK-algebras
- Creator:
- Halaš, Radomír
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- BCK-algebra, deductive system, annihilator, and pseudocomplement
- Language:
- English
- Description:
- 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 (A)$ of all deductive systems on $\mathcal A$. Moreover, relative annihilators of $C\in \mathcal D (A)$ with respect to $B \in \mathcal D (A)$ are introduced and serve as relative pseudocomplements of $C$ w.r.t. $B$ in $\mathcal D (A)$.
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public