关于Levesque的信念逻辑的完备性  

作　　者：苏开乐[1] 丁德成[1] 

机构地区：[1]汕头大学计算机科学研究所,南京大学数学系

出　　处：《数学年刊（A辑）》1995年第3期275-279,共5页Chinese Annals of Mathematics

基　　金：国家863高科技计划

摘　　要：Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．

关 键 词：完备性 指派 T^＊-集合 

分 类 号：O141[理学—数学]