论经典命题逻辑矢列演算的保持高度收缩定理

• 作者: 余军成 和宝珍
• 来源期刊: 贵州工程应用技术学院学报
• 学科: 哲学
• 关键词: 经典命题逻辑矢列演算 保持高度收缩定理 保持高度收缩推论 收缩规则
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 逻辑学专栏
• 页码范围: 59-65
• 页数: 7页
• 分类号: B81
• 字数: 3227字
• 语种: 中文

摘要

在《结构证明论》中，给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程，得出保持高度收缩的推论并证明了该推论，指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	和宝珍	晋中师范高等专科学校政史系	7	2	1.0	1.0
2	余军成	贵州工程应用技术学院逻辑与文化研究中心	7	6	1.0	2.0