|
|||||
|
|
| 与组合子B,C,I有关的BCI代数的新系统 | |
| 引用本文： | 沈百英.与组合子B,C,I有关的BCI代数的新系统[J].南京大学学报(自然科学版),1983(4). |
| 作者姓名： | 沈百英 |
| 摘 要： | 1966年K.Is′eki教授引入了BCI代数的概念。本文仿照文献3](它把BCK代数的公理归结为与组合子B,C和K相对应的三个公理),把BCI代数的公理归结为与组合子B,C和I(见4]相对应的三个公理,从而得到一个更简单的DCI代数的新系统Y,我们还进一步把公理B换为相应的规则,从而又得等价的新系统Y~*. |
| 本文献已被 CNKI 等数据库收录！ | |