Abstract
In this paper we introduce the notion of CI -algebras as a generalization of
BE-algebras and dual BCK/BCI/BCH-algebras, we investigate its elementary properties.
Relations of CI-algebras and BE-algebras are discussed. Finally we prove that
in transitive BE-algebras, the notion of ideals is equivalent to one of filters.
