一阶命题演算的希尔伯特型直觉主义系统

刘大中; 董克诚

doi:10.3969/j.issn.1000-1565.2001.02.001

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

2001 , Vol. 21 >Issue 2: 103 - 106

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

一阶命题演算的希尔伯特型直觉主义系统

刘大中 ,
董克诚

展开

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

网络出版日期: 2001-05-25

收起

vHilbert's Type Intuitionistic Systems of First Order Sentential Calculus

Expand

Online published: 2001-05-25

Fold

摘要

简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念的理解，便于对此系统的进一步研究及应用.

关键词： 命题演算; 希尔伯特型; 直觉主义逻辑; 可构造性

本文引用格式

刘大中 , 董克诚 . 一阶命题演算的希尔伯特型直觉主义系统[J]. 河北大学学报(自然科学版), 2001 , 21(2) : 103 -106 . DOI: 10.3969/j.issn.1000-1565.2001.02.001

参考文献

[1] 刘大中, 董克诚, LIU Da-zhong, DONG Ke-cheng. 命题演算的两个直觉主义系统 [J]. 河北大学学报（自然科学版） 2000.doi:10.3969/j.issn.1000-1565.2000.04.003
[2] 王元元. 计算机科学中的逻辑学 [M]. 北京:科学出版社 1989.
[3] 李进. 直觉主义逻辑 [A]. 北京:中国人民大学出版社 1987.

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

参考文献