论文部分内容阅读
沿着安德森等人开创的方向，我们将分析性公理系统从经典逻辑推向模态逻辑，所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中，我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理，并讨论演绎关系的性质：单调性和切割性。
基于广义谢弗竖的分析性模态公理系统
【摘 要】
：
沿着安德森等人开创的方向，我们将分析性公理系统从经典逻辑推向模态逻辑，所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中，我们给出常见的正规模态逻辑的分析性公理系
【机 构】
：
中国社会科学院马克思主义研究院
【出 处】
：
逻辑学研究
【发表日期】
：
2009年3期
其他文献
为了解决当前存在的资料准备不充分、资源队伍管理不集中、应急测绘过程不可视、应急供图效率低等问题,结合地理信息技术、大数据技术,充分分析了地理空间大数据在应急保障中
本文论述了船坞采用“湿法”工艺施工中止水设施的设置及止水效果分析。经采用多种不同的止水结构，保证了坞内干施工的条件，效果良好。
王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出＂逻辑课程现代化＂的口号,对当时的逻辑界有振聋发聩之功。此后＂逻辑现代化＂成为我国逻辑学发展的主旋律
采用金相显微、X射线衍射仪和电化学工作站等手段,研究了对比钢和试验钢在不同腐蚀时间下的表面形貌、截面形貌、物相组成和耐腐蚀性能。结果表明,对比钢和试验钢在经过室外
一、农业综合开发项目评审工作简要回顾农业综合开发实施20多年来，深深植根于我国农村大地，在强基础、稳粮食、兴产业、促增收方面发挥了重要作用。党中央、国务院对农业综合开
土壤对混凝上的腐蚀的类型和程度取决于混凝土质量和水泥品种以及土壤中所含腐蚀介质的种类和数量。高密实性和高强度混凝土的耐腐蚀性较好。硫酸盐对混凝土的侵蚀作用主要与
2009年，安徽省芜湖市借助在南陵县许镇镇建立的“芜湖大浦新农村建设试验区”平台，立项实施农业综合开发土地治理项目，积极探索农业综合开发支持现代农业园区建设，促进管理体制、
丁苯橡胶是一种应用最广的合成橡胶，是丁二烯和苯乙烯的共聚物。主要根据聚合温度分为高温丁苯橡胶和低温丁苯橡胶。后者性能较好，发展也快。按苯乙烯含量等的不同而分为各种牌