Hom-type generalizations of standard BCI and BCK-algebras

초록

The concept of Hom-BCI-algebras and (commutative) Hom-BCK-algebras is introduced, and examples are provided to illustrate it. Fundamental properties of them are investigated, and a method for deriving the Hom-BCI-algebra and Hom-BCK-algebra from the standard BCI-algebra and BCK-algebra is presented, and vice versa. The poset structure is obtained from the Hom-BCI-algebra, and a characterization of Hom-BCK-algebra is addressed. The semilattice is induced based on the commutative Hom-BCK-algebra. The notion of Hom-initial section is established, and its properties are investigated. It is also used in relation to the commutativity of Hom-BCK-algebra.

키워드