论文部分内容阅读
沿着安德森等人开创的方向，我们将分析性公理系统从经典逻辑推向模态逻辑，所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中，我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理，并讨论演绎关系的性质：单调性和切割性。
基于广义谢弗竖的分析性模态公理系统
【摘 要】
：
沿着安德森等人开创的方向，我们将分析性公理系统从经典逻辑推向模态逻辑，所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中，我们给出常见的正规模态逻辑的分析性公理系
【机 构】
：
中国社会科学院马克思主义研究院
【出 处】
：
逻辑学研究
【发表日期】
：
2009年3期
其他文献
王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出＂逻辑课程现代化＂的口号,对当时的逻辑界有振聋发聩之功。此后＂逻辑现代化＂成为我国逻辑学发展的主旋律
采用金相显微、X射线衍射仪和电化学工作站等手段,研究了对比钢和试验钢在不同腐蚀时间下的表面形貌、截面形貌、物相组成和耐腐蚀性能。结果表明,对比钢和试验钢在经过室外