论文部分内容阅读
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。
论经典命题逻辑矢列演算的保持高度收缩定理
【摘 要】
：
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规
【机 构】
：
贵州工程应用技术学院逻辑与文化研究中心,晋中师范高等专科学校政史系
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2016年3期
【基金项目】
：
中央高校基本科研业务费专项资金一般项目“达米特直觉主义逻辑思想演绎研究”,项目编号:SWU1609140,国家哲学社会科学基金重点项目“意识,表征与行动——人类认知的结构与运作机制研究”,项目编号:12AZD073
其他文献
概念是逻辑学的基础知识和重要内容,然而到现在为止,在概念的内部还存在着明显的逻辑矛盾,那就是既认为概念必有内涵和外延,又认为虚概念是没有外延的。从虚概念的起源看待虚
《献酒经》作为一种重要的彝文经籍至今没有专门的研究。以《增订〈爨文丛刻〉》中的《献酒经》为研究对象，通过与其它文本的《献酒经》进行比较，将《献酒经》进行了初步分类，并