<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p><p>MML identifier: BCIIDEAL, version: 7.8.10 4.99.1005</p></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

Ideals of BCI-algebras and their Properties

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"Ideals of BCI-algebras and their Properties"}

In this article three classes of ideals are discussed: associative ideals, commutative ideals, implicative ideals and positive implicative ideals, and their...

Ideals of BCI-algebras and their Properties

Online veröffentlicht: 20. März 2009

Seitenbereich: 109 - 114

DOI: https://doi.org/10.2478/v10037-008-0016-0

This content is open access.