Ideals of BCI-algebras and their Properties
Chenglong Wu ; Yuzhong Ding
Formalized Mathematics, Tome 16 (2008), p. 109-114 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

In this article three classes of ideals are discussed: associative ideals, commutative ideals, implicative ideals and positive implicative ideals, and their elementary properties. Some of their properties and the relationships between them have not been proven yet, and will be completed in the following article.MML identifier: BCIIDEAL, version: 7.8.10 4.99.1005

Publié le : 2008-01-01
EUDML-ID : urn:eudml:doc:266818 
@article{bwmeta1.element.doi-10_2478_v10037-008-0016-0,
     author = {Chenglong Wu and Yuzhong Ding},
     title = {Ideals of BCI-algebras and their Properties},
     journal = {Formalized Mathematics},
     volume = {16},
     year = {2008},
     pages = {109-114},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.doi-10_2478_v10037-008-0016-0}
}

Chenglong Wu; Yuzhong Ding. Ideals of BCI-algebras and their Properties. Formalized Mathematics, Tome 16 (2008) pp. 109-114. http://gdmltest.u-ga.fr/item/bwmeta1.element.doi-10_2478_v10037-008-0016-0/

[1] Yuzhong Ding. Several classes of BCI-algebras and their properties. Formalized Mathematics, 15(1):1-9, 2007.

[2] Yuzhong Ding and Zhiyong Pang. Congruences and quotient algebras of BCI-algebras. Formalized Mathematics, 15(4):175-180, 2007.

[3] Tao Sun, Dahai Hu, and Xiquan Liang. Several classes of BCK-algebras and their properties. Formalized Mathematics, 15(4):237-242, 2007.

[4] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.