论文部分内容阅读
Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．
关于Levesque的信念逻辑的完备性
【摘 要】
：
Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并
【机 构】
：
汕头大学计算机科学研究所,南京大学数学系
【出 处】
：
数学年刊：A辑
【发表日期】
：
1995年3期
【基金项目】
：
国家863高科技计划
其他文献
随着社会的进步、医学的发展。内镜的使用日益增加。内镜可分为软式内镜和硬式内镜两大类。（1）软式内镜的清洁消毒步骤分为：水洗→酶洗→冲洗→消毒或灭菌→冲洗与干燥→备用；（2）硬
富络克又名氟罗沙星葡萄糖注射液,它和先锋必均为广谱抗生素,目前在临床上比较常用,笔者在工作中发现此两种药物联合使用时,存在配伍禁忌.
<正> 怎样理解党的政策和原则是办事情是否公正无私的准绳执行党的政策和原则总是和一个人办事情是否公正无私密切相联系的。因此,要正确理解公正无私的含义及其与执行党的政
本文研究具有有限竞争的非自治系统ｄｘ／ｄｔ＝Ｆ（ｔ，ｘ），ｘ∈Ｒ＋＾ｎ，ｔ∈Ｒ的解的渐近性态，该系统满足下列条件：（１）Ｆ（ｔ，ｘ）关于ｔ是周期的，周期为ｒ〉０；（２）ＤｘＦ（ｔ，ｘ）是Ｋ型矩阵；（３）Ｆ具有一个不变函数Ｈ（ｘ），且ｇｒａｄＨ（ｘ）〉〉Ｋ ０。主要结果是这种系统的每一个紧解收敛于一
面对现在流行的人性化服务,临床带教中也要实行人性化,要重视学生的主体地位.这样,只有不断地改进教学方法,提高带教老师的知识水平和素质,才能在临床带教中得到突破的成功.
本文确定了在特征２域上的阶化Ｃａｒｔａｎ型李代数中（包括本文作者以前所构造的非交错哈密尔顿代数Ｐ（ｎ，ｍ）具有非退化结合型的所有李代数。
随着卫生改革的不断深化,医院后勤体制如何与社会接轨,如何与市场经济接轨,就必须将深化改革的问题列为首要议程,现就深化后勤改革的重要性和方法作一些探讨.
<正> 我们于1984年10月和1986年5月分别对广州部分中学生进行了抽样调查。此外,还分别同一些学校领导和老师进行交谈。下面结合调查情况对广州市开放后中学生的思想变化淡谈