摘要
在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。
Introduces a new binary operation '+' in several BCY-algebras and develops those obtained strengthened systems. The word problems for these new systems were studied and a positive solution to their word problems was given by corresponding systems with Gentzen's form.
关键词
BCY代数
字问题
加强系统
减法系统
algebra
word problem
abstraction system
BCK-algebra
BCY-algebra
