希尔伯特型相关论文
介绍了一阶命题演算的两个直觉主义系统，希尔伯特型（HSI）及自然演绎型（NDSI），并证明了这两个系统的等价性，揭示了直觉主义逻辑的内函及与......
简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念......
