论文部分内容阅读
给定一阶语言及该语言的一个理论，假设需要在理论添加一个与理论不和谐的语句，并要求保持理论和扩张是和谐，就必须删除理论内的某些语句。本文构造出了针对上述理论扩张的证明论。该证明论的可靠性及完全性刻划了一般形式的扩张与典型的理论扩张间的联系，对于例题逻辑，本文还给出了判定理论扩张的一种方法。
维护的证明论系统
【摘 要】
：
给定一阶语言及该语言的一个理论，假设需要在理论添加一个与理论不和谐的语句，并要求保持理论和扩张是和谐，就必须删除理论内的某些语句。本文构造出了针对上述理论扩张的证明论
【机 构】
：
北京航空航天大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1995年9期
其他文献
1981年8月14至22日,在青藏高原东侧陕、甘、川毗邻区,出现了一次持续暴雨过程.对其主过程的涡度诊断表明,切变线低涡初生於青藏高原东侧低空,其后,不仅出现了高、低空涡度中
本文根据作者近年来研讨软件开发方法的工作和开发软件工具的经验,总结了模型开发方法,提出了模型方法的支持工具MTOOL,文章归纳了模型方法的开发过程和描述手段,详细介绍了M
本文详细介绍图形分布处理支撑环境ＤＧＰＳＥ的设计与实现技术，ＤＧＰＳＥ有效支持高性能分布式图形应用系统的开发和分布并行图形处理算法的研究，它具有以下特点：支持多种分布处理模型，通讯方式灵活
目的：慢性肺心病呼吸衰竭导致缺氧和二氧化碳潴留所引起的神经精神症状，为慢性肺心病晚期严重的并发症之一，病死率甚高。方法：本组对48例慢性肺心病合并神经精神症状分析，48例病人
本文用279个气象测站的年雨量资料得到中国东部(100°E以东)1891—1988年大范围平均雨量资料序列.对代表性进行了检验表明:序列在1921年以后能较好地反映大范围气候旱涝
摘要：《形势与政策教育》是大学生思想政治教育的重要内容，也是高校思想政治理论课的重要组成部分。本文从教学管理制度化、规范化和教学实施科学化、多样化两个方面阐述了《形势与政策教育》课的教学改革成效。 关键词：形势与政策教育；教学管理；教学实施；改革 高校对学生进行形势与政策教育，既是当前需要，也是长远之计。我们应当站在历史的高度，对学生进行形势与政策教育，帮助他们加深对形势与政策的理解，使学
目的 分析小儿肥大腺样体切吸术后楔形栓子填塞止血效果.方法 回顾分析我科2010-2012年70例小儿肥大腺样体切吸术后采用楔形物栓子填塞止血患者的临床资料.结果 70例患者均无