减法系统Ⅲ——各种BCY代数的等价类
-
摘要: 在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。Abstract: 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.