Ideals of BCI-algebras and their Properties

• Autorzy: Chenglong Wu , Yuzhong Ding
• Języki publikacji: EN

Abstrakty

EN

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

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2008
• Tom: 16
• Numer: 2
• Strony: 109-114

Daty

wydano

2008-01-01

online

2009-03-20

Twórcy

autor

Chenglong Wu

• Qingdao University of Science and Technology, China

autor

Yuzhong Ding

• Qingdao University of Science and Technology, China

Bibliografia

• [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.

Identyfikatory

DOI

10.2478/v10037-008-0016-0