<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>We have formalized the BCI-algebras closely following the book [7] pp. 16-19 and pp. 58-65. Firstly, the article focuses on the properties of the element and then the definition and properties of congruences and quotient algebras are given. Quotient algebras are the basic tools for exploring the structures of BCI-algebras.</p></abstract>

We have formalized the BCI-algebras closely following the book [7] pp. 16-19 and pp. 58-65. Firstly, the article focuses on the properties of the element and then the definition and properties of congruences and quotient algebras are given. Quotient algebras are the basic tools for exploring the structures of BCI-algebras.

Congruences and Quotient Algebras of BCI-algebras

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"Congruences and Quotient Algebras of BCI-algebras"}

We have formalized the BCI-algebras closely following the book [7] pp. 16-19 and pp. 58-65. Firstly, the article focuses on the properties of the element and...

Congruences and Quotient Algebras of BCI-algebras

Publicado en línea: 09 jun 2008

Páginas: 175 - 180

DOI: https://doi.org/10.2478/v10037-007-0021-8

This content is open access.