|
|||||
|
|
| 关于Levesque的信念逻辑的完备性 | |
| 引用本文： | 苏开乐,丁德成.关于Levesque的信念逻辑的完备性[J].数学年刊A辑(中文版),1995(3). |
| 作者姓名： | 苏开乐 丁德成 |
| 作者单位： | 汕头大学计算机科学研究所，南京大学数学系 |
| 摘 要： | Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明． |
| 关 键 词： | 完备性，指派，T~（＊－）集合 |
| 本文献已被 CNKI 等数据库收录！ | |