상세검색
최근 검색어 전체 삭제
다국어입력
즐겨찾기0
학술저널

In this paper we prove that if Y is a poset of the form 1 ⊕ Y for some subposet Y then BCK(Y) is a γ-BCK-algebra. Moreover, if X is a BCI-algebra then Hom(X, BCK(Y)) is a positive implicative Γ-BCK-algebra.

ABSTRACT

REFERENCES

(0)

(0)

로딩중