摘要
简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 .
The authors give a brief introduction to Hilbert's type intuitionistic system of first order sentential calculus,and prove some theorems of this system by logical deduction method.The purpose of this paper is to facilitate understanding,studying and applying the concept of the intuitionistic system.
出处
《河北大学学报（自然科学版）》
CAS
2001年第2期103-106,共4页
Journal of Hebei University(Natural Science Edition)
