Über diesen Artikel
Online veröffentlicht: 13. Juni 2008
Seitenbereich: 1 - 9
DOI: https://doi.org/10.2478/v10037-007-0001-z
This content is open access.
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