期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
关于切割规则的可容许性定理的一个注释 被引量：1
1
作者 余军成 刘明元 《贵州民族大学学报（哲学社会科学版）》 2016年第5期103-117,共15页
在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"... 在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"切割规则的任何一个前提不是逻辑公理"的表述不准确。文章分析这些问题并提出相关的解决方法,给出切割规则的可容许性定理一个详细而完整的证明,进一步论述经典命题逻辑矢列演算的子公式性质、一致性和可判定性。这些工作有助于提高学习和研究证明论的能力。 展开更多
关键词 经典命题逻辑矢列演算 切割规则的可容许性定理 子公式性质 一致性 可判定性
下载PDF
论经典命题逻辑矢列演算的保持高度收缩定理
2
作者 余军成 和宝珍 《毕节学院学报（综合版）》 2016年第3期59-65,共7页
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。
关键词 经典命题逻辑矢列演算 保持高度收缩定理 保持高度收缩推论 收缩规则
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部