减法系统Ⅲ——各种BCY代数的等价类

Subtraction Systems Ⅲ——The Equivalence Class of Several BCY Algebras

在“减法系统Ⅰ”基础上,引入其它一些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.