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

• 作者: 刘大中 董克诚
• 来源期刊: 河北大学学报(自然科学版)
• 学科: 数学
• 关键词: 命题演算 希尔伯特型 直觉主义逻辑 可构造性
• 年，卷（期）: 2001,（2）
• 页码范围: 103-106
• 页数: 4页
• 分类号: O141.1
• 字数: 2215字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1565.2001.02.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董克诚	河北大学数学与计算机学院	7	5	1.0	2.0
2	刘大中	河北大学数学与计算机学院	6	17	3.0	4.0