On filters and upper sets in CI-algebras

Abstract

CI-algebras are a generalization of BE-algebras and dual BCK/BCI/BCH-algebras. In this paper filters of CI-algebras are considered. Given a subset of a CI-algebra, the least filter containing it is constructed. An equivalent condition of the filters using the notion of upper sets is provided.