河北大学学报(自然科学版) ›› 2001, Vol. 21 ›› Issue (2): 103-106.DOI: 10.3969/j.issn.1000-1565.2001.02.001
• • 下一篇
刘大中,董克诚
出版日期:
发布日期:
Online:
Published:
摘要： 简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念的理解，便于对此系统的进一步研究及应用.
关键词: 命题演算, 希尔伯特型, 直觉主义逻辑, 可构造性
中图分类号:
O141.1
刘大中,董克诚. 一阶命题演算的希尔伯特型直觉主义系统[J]. 河北大学学报(自然科学版), 2001, 21(2): 103-106.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: //xbzrb.hbu.edu.cn/CN/10.3969/j.issn.1000-1565.2001.02.001
//xbzrb.hbu.edu.cn/CN/Y2001/V21/I2/103
