| 论经典命题逻辑矢列演算的保持高度收缩定理 |
| |
| 引用本文： | 余军成,和宝珍.论经典命题逻辑矢列演算的保持高度收缩定理[J].毕节学院学报,2016(3):59-65. |
| |
| 作者姓名： | 余军成 和宝珍 |
| |
| 作者单位： | 1. 贵州工程应用技术学院逻辑与文化研究中心,贵州 毕节,551700;2. 晋中师范高等专科学校政史系,山西 晋中,030600 |
| |
| 基金项目： | 中央高校基本科研业务费专项资金一般项目“达米特直觉主义逻辑思想演绎研究”，项目编号SWU1609140；国家哲学社会科学基金重点项目“意识、表征与行动--人类认知的结构与运作机制研究”，项目编号12AZD073。 |
| |
| 摘 要： | 在《结构证明论》中，给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程，得出保持高度收缩的推论并证明了该推论，指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。
|
| 关 键 词： | 经典命题逻辑矢列演算 保持高度收缩定理 保持高度收缩推论 收缩规则 |
On the Theorem of Height-preserving Contraction in Sequence Calculus of Classical Propositional Logic in Structural Proof Theory |
| |
| YU Juncheng,HE Baozhen.On the Theorem of Height-preserving Contraction in Sequence Calculus of Classical Propositional Logic in Structural Proof Theory[J].Journal of Bijie University,2016(3):59-65. |
| |
| Authors: | YU Juncheng HE Baozhen |
| |
| Abstract: | In StructuralProofTheory, this paper gives a detailed and complete proof process of the theorem of height-preserving contraction in the sequence calculus of classical propositional logic, obtains the corollary of height-preserving contraction and proofs this corollary, points out that the corollary of height-preserving contraction on the proof of admissible theorem of cut has the function of reducing the derivation steps. |
| |
| Keywords: | Sequence calculus of Classical Propositional Logic Theorem of Height-preserving Contraction Corollary of Height-preserving Contraction Contraction Rules |
| 本文献已被 万方数据 等数据库收录！ |
