<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>I have formalized the BCI-algebras closely following the book [6], sections 1.1 to 1.3, 1.6, 2.1 to 2.3, and 2.7. In this article the general theory of BCI-algebras and several classes of BCI-algebras are given. MML identifier: BCIALG 1 , version: 7.8.04 4.81.962</p></abstract>

I have formalized the BCI-algebras closely following the book [6], sections 1.1 to 1.3, 1.6, 2.1 to 2.3, and 2.7. In this article the general theory of BCI-algebras and several classes of BCI-algebras are given. MML identifier: BCIALG 1 , version: 7.8.04 4.81.962

Several Classes of BCI-algebras and their Properties

Qingdao University of Science and Technology, China

Formalized Mathematics

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

I have formalized the BCI-algebras closely following the book [6], sections 1.1 to 1.3, 1.6, 2.1 to 2.3, and 2.7. In this article the general theory of...

Several Classes of BCI-algebras and their Properties

Published Online: Jun 13, 2008

Page range: 1 - 9

DOI: https://doi.org/10.2478/v10037-007-0001-z

This content is open access.