Ideals of BCI-algebras and their Properties
Formalized Mathematics (2008)
- Volume: 16, Issue: 2, page 109-114
- ISSN: 1426-2630
Access Full Article
top
Abstract
topHow to cite
topChenglong Wu, and Yuzhong Ding. "Ideals of BCI-algebras and their Properties." Formalized Mathematics 16.2 (2008): 109-114. <http://eudml.org/doc/266818>.
@article{ChenglongWu2008,
abstract = {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},
author = {Chenglong Wu, Yuzhong Ding},
journal = {Formalized Mathematics},
language = {eng},
number = {2},
pages = {109-114},
title = {Ideals of BCI-algebras and their Properties},
url = {http://eudml.org/doc/266818},
volume = {16},
year = {2008},
}
TY - JOUR
AU - Chenglong Wu
AU - Yuzhong Ding
TI - Ideals of BCI-algebras and their Properties
JO - Formalized Mathematics
PY - 2008
VL - 16
IS - 2
SP - 109
EP - 114
AB - 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
LA - eng
UR - http://eudml.org/doc/266818
ER -
References
top- [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.
NotesEmbed ?
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.