|
|||||
|
|
| 减法系统Ⅱ——BCY代数的各种加强系统 | |
| 作者姓名： | 沈百英 叶瑞芬 |
| 作者单位： | 华东化工学院计算机系(沈百英),华东化工学院计算机系(叶瑞芬) |
| 摘 要： | 在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。 |
| 关 键 词： | 代数 字问题 减法系统 BCK-代数 BCY代数 |
| 本文献已被 CNKI 等数据库收录！ | |