Geodesic
Deductive systems of BCK-algebras
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 43 (2004) no. 1, pp. 27-32 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator $F^{\ast }$ of a deductive system $F$ is the the pseudocomplement of $F$. These results are more general than that the similar results given by M. Kondo in [7].
In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator $F^{\ast }$ of a deductive system $F$ is the the pseudocomplement of $F$. These results are more general than that the similar results given by M. Kondo in [7].
Classification : 03F35, 03G25, 06D20, 06F35
Keywords: BCK-algebras; deductive system; irreducible deductive system; Heyting algebras; annihilators 
@article{AUPO_2004_43_1_a2,
     author = {Celani, Sergio A.},
     title = {Deductive systems of {BCK-algebras}},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {27--32},
     year = {2004},
     volume = {43},
     number = {1},
     mrnumber = {2124600},
     zbl = {1069.06010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_2004_43_1_a2/}
}
TY  - JOUR
AU  - Celani, Sergio A.
TI  - Deductive systems of BCK-algebras
JO  - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY  - 2004
SP  - 27
EP  - 32
VL  - 43
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/AUPO_2004_43_1_a2/
LA  - en
ID  - AUPO_2004_43_1_a2
ER  - 
%0 Journal Article
%A Celani, Sergio A.
%T Deductive systems of BCK-algebras
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 2004
%P 27-32
%V 43
%N 1
%U http://geodesic.mathdoc.fr/item/AUPO_2004_43_1_a2/
%G en
%F AUPO_2004_43_1_a2
Celani, Sergio A. Deductive systems of BCK-algebras. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 43 (2004) no. 1, pp. 27-32. http://geodesic.mathdoc.fr/item/AUPO_2004_43_1_a2/