10.3969/j.issn.1674-8425(s).2021.06.006
合舍系统及其定理的能行证明
以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如<A(A)>的公式.
括号表示法、合舍、化归、证明、能行
35
B81(逻辑学(论理学))
中国社科院创新工程项目2021ZXSCXB04
2021-07-13(万方平台首次上网日期,不代表论文的发表时间)
共9页
53-61