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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AUPO_2004__43_1_a2/
LA  - en
ID  - AUPO_2004__43_1_a2
ER  -