摘要
在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。
The paper introduces some new BCY algebras and studies the equivalence class (relative to '=') of several BCY algebras and proves that the set of the equivalence class forms respectively a BCI-algebra, a BCK-algebra or a commutative BCK-algcbta.
关键词
减法系统
BCY代数
等价类
代数
subtraction system
BCY-algebra
BCI-algebra
BCK-algebra
equivalence class