【摘 要】
：
模态逻辑的完全性理论至今已经有了很大发展，其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立；从最早证
【机 构】
：
西南大学政治与公共管理学院逻辑与智能研究中心
论文部分内容阅读
模态逻辑的完全性理论至今已经有了很大发展，其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立；从最早证明模态逻辑系统的Kripke-语义图的出现到Hu曲esand Gresswell对Kripke-语义图的修正；从L．Henkin极大一致集的提出到从属模型和典范模型的建立；从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点。对正规模态逻辑系统完全性证明的层层刨析，可以更好地把握和使用完全性证明方法。
其他文献
对Gr.2 纯钛管材加工工艺对性能组织及晶粒度的影响进行分析。结果表明：纯钛管材冷加工变形量为45%，热处理温度选择530℃～600℃，冷加工变形量为60%，热处理温度选择500℃～600℃，可获
摘要：承重柱是建筑工程中，尤其是高层建筑工程中最重要的主体结构，是支撑整个建筑荷载和建筑稳定的关键结构，可以说其施工质量的好坏直接影响着高层建筑工程的安全稳定，为此，必须要加强高层建筑工程中对承重柱的施工管理，控制其施工质量。而首先就需要从对承重柱的设计开始严格把关，以确保承重柱能够满足其在高层建筑结构中的承重需求。现本文就从分析不同结构种类下承重柱的受力状况和工作机理入手，从轴压比值、短柱抗震性
摘 要：城市化发展速度明显有加快的趋势，在这种情况下，人们对于能源的消耗量也有了非常明显的增加，城市发展过程中造成的环境问题也越来越严重，对于建筑施工行业而言，在这样的大形势下一定要在施工技术上进行不断地完善，在建设中减少能源的消耗，同时还要进一步提高环境质量。本文主要分析了低碳趋势下建筑施工技术的发展方向，希望能够给施工企业和相关人员提供一定的经验和借鉴。 关键词：低碳；建筑施工技术；发展方向
自元明清中央政府在西南少数名族地区实行土司制度后，毕节彝族土司内附接受其统治，与其建立了臣属关系，其间，双方关系呈现出两头差、中间好的状况，这种局面的形成与元明清中央政府
摘要：近年来，幕墙在我国建筑中得到了迅猛发展，各种材质的幕墙也在不断发展。本文分析了玻璃幕墙、石材幕墙和金属幕墙的优缺点，并阐述了玻璃幕墙的现状及发展趋势。 关键词：玻璃幕墙 石材幕墙 金属幕墙 玻璃幕墙是指由支承结构体系与玻璃组成的、可相对主体-结构有一定位移能力、不分担主体结构所受作用的建筑外围护结构或装饰结构。由于其具有吸收红外线，减少进入室内的太阳辐射，降低室內温度等优点，因此在我国建
根据关联理论和图示理论的观点,可从作者对英诗意象的理解多方面探讨英语诗歌中的意象选择问题。意象一方面制约着英诗话语的生成,另一方面也制约着读者对话语的理解。成功的
背景和意义 智能手机（Smartphone）是指“像个人电脑一样，具有独立的操作系统，可以由用户自行安装软件、游戏等第三方服务商提供的程序，通过此类程序来不断对手机的功能进行扩充，并可以通过移动通讯网络来实现无线网络接入的这样一类手机的总称”。是一种安装了相应开放式操作系统的手机。通常我们使用的智能手机操作系统有：Symbian、iOS、Android、Windows phone等。 而根据最
摘 要：建筑工程包含的工作很多，其中建筑测量工作对保证工程质量与安全有着重要的作用，这也考验了工程测量的技术与水平。建筑工程测量的技术是衡量建筑测量水平的主要指标，建筑工程的测量工作包括很多步骤，其中有对工程项目的实地勘探、对建筑设计以及施工的检测等。这些不同的步骤所用的测量技术也具有差异性，而且测量操作的规范性也影响着测量的准确性，笔者针对这些问题，分析了建筑工程测量常见的错误，并探讨了相应的应
运用科学有效的方法实施钢结构安装工程是工业建筑非常重要的一环。本文通过对攀长特某工程钢结构安装工程施工实例,对该工程如何采用新技术、新方法进行了有益的分析。该工
摘要：随着近年来国民生产中各种新技术的不断引进与应用，各种控制系统也得到了前所未有的发展，以计算机为基础的数控技术更是出现了前所未有的繁荣。嵌入式系统作为一种以计算机技术为基础，以应用为目的和核心的新型系统结构，其在应用中具备着软硬件和建材、使用功能强、计算可靠、功耗要求严格的数控系统得到了人们的高度重视。本文就目前嵌入式数控系统的开发进行了探讨，并对其在铣床数控系统上的应用做了简要阐述。 关键