|
|||||
|
|
| 参态逻辑 | |
| 引用本文： | 林作铨,李未.参态逻辑[J].中国科学A辑,1995,38(4):414-425. |
| 作者姓名： | 林作铨 李未 |
| 作者单位： | 1 汕头大学计算机系 汕头515063 2 北京航空航天大学计算机系 北京100080 |
| 摘 要： | 提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富的形式能力,可表达很大一类逻辑而作为其特殊形式. |
| 关 键 词： | 参态逻辑 广义模态逻辑 一阶逻辑 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |