一阶谓词演算自然演绎型直觉主义系统NDPI

刘大中; 董克诚

doi:10.3969/j.issn.1000-1565.2003.04.021

河北大学学报(自然科学版) >

2003 , Vol. 23 >Issue 4: 422 - 424

DOI: https://doi.org/10.3969/j.issn.1000-1565.2003.04.021

一阶谓词演算自然演绎型直觉主义系统NDPI

刘大中 ,
董克诚

展开

河北大学,数学与计算机学院,河北,保定,071002

网络出版日期: 2003-10-25

收起

Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus

Expand

Online published: 2003-10-25

Fold

摘要

学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题.

关键词： 谓词演算; 自然演绎型; 判断; 坚钦型; 直觉主义逻辑

本文引用格式

刘大中 , 董克诚 . 一阶谓词演算自然演绎型直觉主义系统NDPI[J]. 河北大学学报(自然科学版), 2003 , 23(4) : 422 -424 . DOI: 10.3969/j.issn.1000-1565.2003.04.021

参考文献

[1] 王元元. 计算机科学中的逻辑学 [M]. 北京:科学出版社 1989.
[2] 李进. 直觉主义逻辑 [A]. 北京:中国人民大学出版社 1987.
[3] 克林S C. 元数学导论 [M]. 北京:科学出版社 1985.
[4] 陆钟万. 面向计算机科学的数理逻辑 [M]. 北京:科学出版社 2002.

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

参考文献