减法系统相关论文
在“减法系统I“基础上,引入其它一些BCY代数并研究某些BCY代数的等价类(关于“=“),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。......
在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加......