论文部分内容阅读
进一步讨论关于正规模态逻辑Ｓ５的自动定理证明理论与方法，给出了正规模态逻辑Ｓ５的表推演系统ＴＳ６，证明了该可靠性与完备性。
模态逻辑S5的表推演系统TS5
【摘 要】
：
进一步讨论关于正规模态逻辑Ｓ５的自动定理证明理论与方法，给出了正规模态逻辑Ｓ５的表推演系统ＴＳ６，证明了该可靠性与完备性。
【机 构】
：
南京建筑工程学院基础部,南京建筑工程学院城建系
【出 处】
：
南京建筑工程学院学报
【发表日期】
：
1996年1期
其他文献
目的利用三维步态分析仪测量下肢步态参数,评价中医经筋疗法对膝关节置换术后患者膝关节功能恢复的疗效。方法招募因单侧膝骨关节炎行单侧膝关节置换术患者20例,每天接受中医
目的 研究朱砂中与血液中汞离子浓度以及肾脏毒性相关的成分,为朱砂的减毒炮制以及在临床上的科学用药提供重要的理论依据.方法 应用偏微分原理,运用化学、毒理学、药动学以
亚健康状态是身体处于健康和疾病之间的一种中间状态，又称“灰色状态”和“第三状态”等，它不是病。但也非健康。由于亚健康状态尚未出现器质性疾病，如果能成功地防治亚健康。就
主要探讨了基于ＡｕｔｏＣＡＤ的地形图机助成图中的若干关键问题；通过对图形文件与数据文件之间的相互转换关系以及地形图符号库的建立等有关问题的讨论，为今后进一步改进地形图机助成图系统打下基础。
中国性学会中医性医学专业委员会举办的首届全国中医性学学术会议1996年5月31日至6月5日在四川成都召开。220名位代表出席了会议。本次学术会议共收到论文786篇,会议在此基础
例一,李××,16岁,住院号115465,因性别不明于1991年4月8日入院。病人自幼社会性别为男性,但一贯取蹲位小便,入院前2年,发现乳房逐渐隆起,下腹部每月有周期性疼痛1次
精神病人的性功能障碍十分普遍。它既可表现为性活动增加,亦可表现为性活动减少。因为精神分裂症存在着更重要的问题,所以性功能障碍的发生率在一些报告中估计过低。我们于19
“今年的番茄价格出奇的低．去年一亩地能收入几千元到上万元，但今年我种了4亩才卖了几百元钱．有10吨番茄烂在了地里。”看着辛苦了半年的番茄却换不来钱，呈贡县大洛羊街道办事处
海南农垦是一个拥有92个国营农场近106万人口的大型国有企业，已婚妇女占近1／5。为了寻找做好垦区妇幼保健工作的措施依据，探讨进一步提高妇女病普查普治的工作质量和降低妇女常