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

下载PDF

导出

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

作者苏开乐丁德成

机构地区汕头大学计算机科学研究所

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

基金国家863高科技计划

关键词完备性指派 T<sup>＊-</sup>集合

1苏开乐.Levesque的信念逻辑中模态词O的若干语义特征[J].科学通报,1995,40(8):765-765.
2苏开乐,丁德成.关于断言的缺省逻辑[J].中国科学（A辑）,1994,24(6):645-652. 被引量：1
3冯克勤.TWO QUESTIONS ON LEVESQUE'S CYCLOTOMIC UNIT INDEX[J].Chinese Annals of Mathematics,Series B,1990,11(1):93-99.
4吴陈,夏祖勋,解洪成,吴洁.多传感器数据融合系统非单调性推理问题[J].华东船舶工业学院学报,1999,13(6):28-31.
5王元元,蔡庆生.关于经验的模态逻辑系统[J].计算机研究与发展,1989,26(1):19-23.
6吴茂念,陈武,张明义,沈复兴.Makinson一个公开问题的注记[J].计算机科学,2009,36(6):217-218.
7刘华丽.模态逻辑中公式的模态真度[J].计算机工程与应用,2010,46(31):61-63.
8孙踊,方明.耶鲁枪击案: 对非单调推理案例的分析(英文)[J].北京大学学报（自然科学版）,1998,34(5):700-706.
9李永明.对偶Quantale及其性质[J].陕西师范大学学报（自然科学版）,2001,29(1):1-5. 被引量：11
10沈榆平,赵希顺.整合非单调推理及时态推理(英文)[J].南京大学学报（数学半年刊）,2007,24(2):187-203.

数学年刊（A辑）

1995年第3期

浏览历史

内容加载中请稍等...