期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
关于切割规则的可容许性定理的一个注释
被引量：
1
1
作者
余军成
刘明元
《贵州民族大学学报（哲学社会科学版）》
2016年第5期103-117,共15页
在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"...
在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"切割规则的任何一个前提不是逻辑公理"的表述不准确。文章分析这些问题并提出相关的解决方法,给出切割规则的可容许性定理一个详细而完整的证明,进一步论述经典命题逻辑矢列演算的子公式性质、一致性和可判定性。这些工作有助于提高学习和研究证明论的能力。
展开更多
关键词
经典命题逻辑矢列演算
切割规则的可容许性定理
子公式性质
一致性
可判定性
下载PDF
职称材料
题名
关于切割规则的可容许性定理的一个注释
被引量：
1
1
作者
余军成
刘明元
机构
贵州工程应用技术学院
西南大学逻辑与智能研究中心
出处
《贵州民族大学学报（哲学社会科学版）》
2016年第5期103-117,共15页
基金
中央高校基本科研业务费专项资金一般项目“达米特直觉主义逻辑演绎思想研究”[项目编号:SWU1609140]
国家社会科学基金西部项目“中西方必然推理比较研究--以《九章算术》刘徽注为对象”[项目编号:11XZX009]
文摘
在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"切割规则的任何一个前提不是逻辑公理"的表述不准确。文章分析这些问题并提出相关的解决方法,给出切割规则的可容许性定理一个详细而完整的证明,进一步论述经典命题逻辑矢列演算的子公式性质、一致性和可判定性。这些工作有助于提高学习和研究证明论的能力。
关键词
经典命题逻辑矢列演算
切割规则的可容许性定理
子公式性质
一致性
可判定性
Keywords
sequent
calculus
of
classical
propositional logic
admissible
theorem
of
the
cut
rule
sub-formula
property
consistency
decidability
分类号
B81 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
关于切割规则的可容许性定理的一个注释
余军成
刘明元
《贵州民族大学学报（哲学社会科学版）》
2016
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
