命题演算的两个直觉主义系统

Two Intuitionistic Systems of Sentential Calculus

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 。

Two intuitionistic systems of firstorder sentential calculus, Hilbert's type(HSI) and natural deduction type(NDSI), were introduced. The equivalence of the two systems was proved. The study facilitated the understanding of the intension of intuitionistic logic and the relation with other nonclassical logic.