The Condition (S)Extension of Positive Implicative BCK-Algebras
Received:December 25, 1992  
Key Words: positive implicative BCK-algebra   implicative BCK- algebra   BCK-algebrawith the condition (S)   BCI-endomorphism   semigroup.  
Fund Project:
Author NameAffiliation
Chen Zhaomu Dept. of Math.
Fujian Normal University Fuzhou 350007 
Huang Yisheng Dept. of Math.
Fujian Longyan Normal College Longyan 364000 
Hits: 2023
Download times: 984
Abstract:
      In this note, we prove that every positive implicative BCK-algebra X canbe imbedded in a positive implicative BCK-algebra X with the condition (S), and X isa subalgebra of X*. In particular, whenever X is implicative, so is X*.
Citation:
DOI:10.3770/j.issn:1000-341X.1995.02.012
View Full Text  View/Add Comment