|
|||||
|
|
| 非标准逻辑基础上的知识逻辑SI | |
| 引用本文： | 许涤非.非标准逻辑基础上的知识逻辑SI[J].湘潭工学院学报,2005,8(4):38-42. |
| 作者姓名： | 许涤非 |
| 作者单位： | 中国人民大学哲学系,北京100872 |
| 摘 要： | 实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息，但是却不会得出“任意结论”。SI仍有完全逻辑全能，但是在一定程度上实现了对逻辑全能的控制。 |
| 关 键 词： | 逻辑全能 标准的可能世界语义学语义 Kn-系统 实质蕴涵 逻辑蕴涵 |
| 本文献已被 维普 等数据库收录！ | |