模态逻辑GL的基于广义谢弗竖的分析性模态公理系统(英文)
Generalized Sheffer-stroke Based Analytic Modal Axiomatic System for GL作者机构：中国社会科学院马克思主义研究院
出 版 物：《逻辑学研究》 (Studies in Logic)
年 卷 期：2016年第9卷第2期
页 面：1-13页
主 题：模态逻辑 分析性 GL 公理系统 完全性 inferential 记法 frames 定理证明 branch
摘 要：基于广义谢弗竖这种新算子,本文构造了模态逻辑GL的模态表列和分析性模态公理系统。广义谢弗竖是一种n元算子,为模态逻辑的表达式提供一种新记法,使分析性模态公理系统的陈述直接明了。由于谢弗竖是一种新算子,基于它的模态表列规则与通常的基于模态词和联结词的表列规则有所不同。分析性模态公理系统中的内定理证明很简单。因为分析性模态公理系统与模态表列之间存在某种对应关系,所以GL的分析性模态公理系统的完全性由GL的模态表列的完全性结果易证。GL的模态系统的完全性证明比较特殊,无法直接应用证明模态逻辑完全性的一般方法——典范模型方法,需要用一种过滤的方法挑出一些可能世界构造有穷模型。
维普期刊数据库
同方期刊数据库