论文部分内容阅读
讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。
正规模态逻辑S4的表推演系统TS4
【摘 要】
：
讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。
【机 构】
：
南京建筑工程学院基础部,南京建筑工程学院城建系
【出 处】
：
南京建筑工程学院学报
【发表日期】
：
1995年2期
其他文献
贵州望谟，一个人口不足30万的边远小城，因为一场持续的暴雨，造成了21人死亡，31人失踪。 如果不是这场洪灾，恐怕很少有人认识和了解这座小城。而因为灾难让人们记住的小城，望谟不是第一个：地震让我们知道了汶川、北川、汉旺；泥石流、滑坡让我们知道了舟曲、关岭。 一曲《小城故事》，让我们对小城安逸宁静的生活充满向往。但是，我们今天知道并记住一个个小城的名字，却是因为一场场的灾难，这是一件多么殘酷的事
2009年10月16日，是我国现代杰出新闻工作者范长江百年诞辰纪念日。10月27日，由范长江故居改建而成的范长江纪念馆正式对外开放。 作为中国最著名的新闻工作者之一，范长江留给后人的影像资料不足1分钟，留给家人的遗产也仅仅是一些书籍，但他留给中国新闻界的却是一笔巨大的精神财富。 走进中国西北角 范长江原名范希天，1909年10月16日出生于四川省内江市田家镇正子村。在这里，范长江度过
女性高睾酮(Testosterone,T)血症,亦称高雄激素综合征。按其症状、体征,可归纳于中医所言之"阴雄"的证治范畴。据有关研究材料表明,该血症的主要表现为月经改变(闭经、稀发月
天津市中医男科门诊部是治疗男性疾病的专科门诊部,成立于1987年,是我国成立最早的一家中医男科专科门诊之一。门诊部主任由男科专家、中国中医药学会男科学会理事长、亚太地
非意愿妊娠是由于无避孕措施保护或避孕失败而引起。少女未婚非意愿妊娠由于受法律不允许、社会歧视、缺乏健康经济保证、缺乏生殖卫生知识等危险因素的影响,比之已婚非意愿
经萧相恺在《珍本禁毁小说大观》中考证,我国明万历25年(公元1597年)前后吕天成所著《绣榻野史》(民国四年上海图书馆排版印本)中记述了赵大里(18岁)与金氏(21岁)在一夜性交
有机磷农药中毒属内科急症之一。由于病情凶险．转归复杂．如不及时合理救治，病死率很高．特别是护理方面，尤为重要。现将我院72例救治护理体会总结如下。
我国临床医学的发展．基本上走的是注重专科发展的道路。临床医学人才的培养模式基本上是以生物医学为主体、以个体疾病的诊断治疗为中心、以医院为基地、以专科发展为导向。高
胎儿唇裂是一种常见的先天性畸形，可为单纯性，或出现在一些综合征中，还常可伴发腭裂，二维超声可以较准确地检查出胎儿唇裂。并能对其进行正确分型，三维超声能在二维的基础上．更加直
采用父母养育方式问卷和艾森克情绪稳定性测验对137名军校新生进行测量．并对父母养育方式与情绪稳定性进行相关分析和多元逐步回归分析。结果显示：（1）军校新生情绪稳定性现状不容