论文部分内容阅读
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。
论经典命题逻辑矢列演算的保持高度收缩定理
【摘 要】
：
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规
【机 构】
：
贵州工程应用技术学院逻辑与文化研究中心,晋中师范高等专科学校政史系
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2016年3期
【基金项目】
：
中央高校基本科研业务费专项资金一般项目“达米特直觉主义逻辑思想演绎研究”,项目编号:SWU1609140,国家哲学社会科学基金重点项目“意识,表征与行动——人类认知的结构与运作机制研究”,项目编号:12AZD073
其他文献
<正> 近年来随着进口半喂入联合收割机数量的增多,国产联合收割机技术水平的提升,“HST”这个词人们也时时可以听到,那么什么叫“HST”? “HST”也叫液压传动无级变速装置。
通过分析新亚欧大陆桥中国段建立的社会条件以及经济带的发展历程,研究新亚欧大陆桥中国段的优势特征,探讨了新亚欧大陆桥建设中存在的问题及解决办法,以期为中国可持续发展
农村剩余劳动力的转移是解决我国“三农”问题的关键，它关系到我国现代化建设能否顺利进行。当前我国农村剩余劳动力转移的规模和速度都趋于缓慢，逐步由“无限供给”转变为“有
<正> 拖拉机及驾驶员的档案管理是农机监理工作的一项重要内容。做好档案管理工作,能为我们提供拖拉机技术状态、驾驶员技术水平及农机事故的原始状况,也为搞好拖拉机及驾驶
<正> 夜间行车,道路视野全靠灯光照明,而灯光照射范围和亮度有限,远不如白天,同时,由于车辆的颠簸,造成灯光晃动,再加上交会车灯光的刺激等因素,造成驾驶员眼睛容易疲劳,空间
党中央十六届五中全会提出了“全面深化农村改革”的重要内客：“鼓励和引导农民发展各类专业合作经济组织，提高农业的组织化程度。”合作社建设创新了农业经营机制，推进了农业产
概念是逻辑学的基础知识和重要内容,然而到现在为止,在概念的内部还存在着明显的逻辑矛盾,那就是既认为概念必有内涵和外延,又认为虚概念是没有外延的。从虚概念的起源看待虚
小城镇、乡镇企业和农业产业化经营三者互动发展是解决“三农”问题的重要途径，应坚持统筹规划、统一管理、统筹兼顾等原则。
《献酒经》作为一种重要的彝文经籍至今没有专门的研究。以《增订〈爨文丛刻〉》中的《献酒经》为研究对象，通过与其它文本的《献酒经》进行比较，将《献酒经》进行了初步分类，并