经典否定蕴涵系统定理的能行证明

扫码查看

原文链接

中文摘要：借鉴亚里士多德的化归方法，通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则，可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。

外文标题：The effective proof of classical negation implication system theorem

作者：

杜国平

展开 >

作者单位：

中国社会科学院大学哲学院,北京 102488

中国社会科学院哲学研究所,北京 100732

关键词：

命题逻辑否定蕴涵系统定理化归方法能行证明

基金：

中国社会科学院创新工程项目

项目编号：

2021ZXSCXB04

出版年：

2022

DOI：

重庆理工大学学报(社会科学版)

重庆理工大学

CHSSCD

影响因子：0.646

ISSN：1674-8425

年,卷(期)：2022.36(10)