Geodesic
Subtraction algebras and $BCK$-algebras
Mathematica Bohemica, Tome 128 (2003) no. 1, pp. 21-24.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

In this note we show that a subtraction algebra is equivalent to an implicative $BCK$-algebra, and a subtraction semigroup is a special case of a $BCI$-semigroup.
DOI : 10.21136/MB.2003.133931
Classification : 06F35
Keywords: subtraction algebra; subtraction semigroup; implicative $BCK$-algebra; $BCI$-semigroup 
@article{10_21136_MB_2003_133931,
     author = {Kim, Young Hee and Kim, Hee Sik},
     title = {Subtraction algebras and $BCK$-algebras},
     journal = {Mathematica Bohemica},
     pages = {21--24},
     publisher = {mathdoc},
     volume = {128},
     number = {1},
     year = {2003},
     doi = {10.21136/MB.2003.133931},
     mrnumber = {1973421},
     zbl = {1014.06018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2003.133931/}
}
TY  - JOUR
AU  - Kim, Young Hee
AU  - Kim, Hee Sik
TI  - Subtraction algebras and $BCK$-algebras
JO  - Mathematica Bohemica
PY  - 2003
SP  - 21
EP  - 24
VL  - 128
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2003.133931/
DO  - 10.21136/MB.2003.133931
LA  - en
ID  - 10_21136_MB_2003_133931
ER  - 
%0 Journal Article
%A Kim, Young Hee
%A Kim, Hee Sik
%T Subtraction algebras and $BCK$-algebras
%J Mathematica Bohemica
%D 2003
%P 21-24
%V 128
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2003.133931/
%R 10.21136/MB.2003.133931
%G en
%F 10_21136_MB_2003_133931
Kim, Young Hee; Kim, Hee Sik. Subtraction algebras and $BCK$-algebras. Mathematica Bohemica, Tome 128 (2003) no. 1, pp. 21-24. doi : 10.21136/MB.2003.133931. http://geodesic.mathdoc.fr/articles/10.21136/MB.2003.133931/

Cité par Sources :