Γ - BCK-ALGEBRAS

  • Eun, Gwang Sik (Department of Mathematics Education Chungbuk National University) ;
  • Lee, Young Chan (Department of Mathematics Education Hannam University)
  • Received : 1996.03.12
  • Published : 1996.06.30

Abstract

In this paper we prove that if Y is a poset of the form $\underline{1}{\oplus}Y^{\prime}$ for some subposet Y' then BCK(Y) is a ${\Gamma}$-BCK-algebra. Moreover, if X is a BCI-algebra then Hom(X, BCK(Y)) is a positive implicative ${\Gamma}$-BCK-algebra.

Keywords