模态逻辑S5的表推演系统TS5

来源 :南京建筑工程学院学报 | 被引量 : 0次 | 上传用户:lizheng124128
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
进一步讨论关于正规模态逻辑S5的自动定理证明理论与方法,给出了正规模态逻辑S5的表推演系统TS6,证明了该可靠性与完备性。
其他文献
目的利用三维步态分析仪测量下肢步态参数,评价中医经筋疗法对膝关节置换术后患者膝关节功能恢复的疗效。方法招募因单侧膝骨关节炎行单侧膝关节置换术患者20例,每天接受中医
目的 研究朱砂中与血液中汞离子浓度以及肾脏毒性相关的成分,为朱砂的减毒炮制以及在临床上的科学用药提供重要的理论依据.方法 应用偏微分原理,运用化学、毒理学、药动学以
亚健康状态是身体处于健康和疾病之间的一种中间状态,又称“灰色状态”和“第三状态”等,它不是病。但也非健康。由于亚健康状态尚未出现器质性疾病,如果能成功地防治亚健康。就
主要探讨了基于AutoCAD的地形图机助成图中的若干关键问题;通过对图形文件与数据文件之间的相互转换关系以及地形图符号库的建立等有关问题的讨论,为今后进一步改进地形图机助成图系统打下基础。
中国性学会中医性医学专业委员会举办的首届全国中医性学学术会议1996年5月31日至6月5日在四川成都召开。220名位代表出席了会议。本次学术会议共收到论文786篇,会议在此基础
例一,李××,16岁,住院号115465,因性别不明于1991年4月8日入院。病人自幼社会性别为男性,但一贯取蹲位小便,入院前2年,发现乳房逐渐隆起,下腹部每月有周期性疼痛1次
精神病人的性功能障碍十分普遍。它既可表现为性活动增加,亦可表现为性活动减少。因为精神分裂症存在着更重要的问题,所以性功能障碍的发生率在一些报告中估计过低。我们于19
“今年的番茄价格出奇的低.去年一亩地能收入几千元到上万元,但今年我种了4亩才卖了几百元钱.有10吨番茄烂在了地里。”看着辛苦了半年的番茄却换不来钱,呈贡县大洛羊街道办事处
海南农垦是一个拥有92个国营农场近106万人口的大型国有企业,已婚妇女占近1/5。为了寻找做好垦区妇幼保健工作的措施依据,探讨进一步提高妇女病普查普治的工作质量和降低妇女常
这几年央企“丑闻”井喷一样爆发,几成公众的“眼中钉”,对此,不仅国资委前任主任李荣融想不通,央企高管对此同样表示困惑:为什么国企搞好搞不好都要挨骂。看来,这中间一定存在某种“误会”。为化解这种“误会”,央企不惜耗巨资(少则一年投入数百万元,多则上千万元)建立了舆情监测和应对媒体机制(6月15日《新京报》)。  我也想不通了,应对媒体用得着花这么多钱吗?这些钱来自哪里,花在何处,与央企上缴红利的去向