Several Classes of BCK-algebras and their Properties
Tao Sun; Dahai Hu; Xiquan Liang
Formalized Mathematics (2007)
- Volume: 15, Issue: 4, page 237-242
- ISSN: 1426-2630
Access Full Article
top
Abstract
topHow to cite
topTao Sun, Dahai Hu, and Xiquan Liang. "Several Classes of BCK-algebras and their Properties." Formalized Mathematics 15.4 (2007): 237-242. <http://eudml.org/doc/266546>.
@article{TaoSun2007,
abstract = {In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].},
author = {Tao Sun, Dahai Hu, Xiquan Liang},
journal = {Formalized Mathematics},
language = {eng},
number = {4},
pages = {237-242},
title = {Several Classes of BCK-algebras and their Properties},
url = {http://eudml.org/doc/266546},
volume = {15},
year = {2007},
}
TY - JOUR
AU - Tao Sun
AU - Dahai Hu
AU - Xiquan Liang
TI - Several Classes of BCK-algebras and their Properties
JO - Formalized Mathematics
PY - 2007
VL - 15
IS - 4
SP - 237
EP - 242
AB - In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].
LA - eng
UR - http://eudml.org/doc/266546
ER -
References
top- [1] Yuzhong Ding. Several classes of BCI-algebras and their properties. Formalized Mathematics, 15(1):1-9, 2007.
- [2] Jie Meng and YoungLin Liu. An Introduction to BCI-algebras. Shaanxi Scientific and Technological Press, 2001.
- [3] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.