|
|||||
|
|
| 关于W_1L演算的注记 | |
| 引用本文： | 乐毓俊,史念东.关于W_1L演算的注记[J].华中科技大学学报(自然科学版),1980(1). |
| 作者姓名： | 乐毓俊 史念东 |
| 作者单位： | 天津师院 (乐毓俊)，新乡师院(史念东) |
| 摘 要： | 本文在文献1]的基础上对W_1L演算的可证公式进行了推证,并在W_1L系统上添加了五条新的公理构成一个新演算系统W_2L,证明在kleenec系统的99条定理中,强蕴涵词的弗晰赋值为真的或有效的公式在W_2L中均可证,一切赋值不真的公式在W_2L中都是不可证的。 |
| 本文献已被 CNKI 等数据库收录！ | |