| 命题演算的两个直觉主义系统 |
| |
| 引用本文： | 刘大中,董克诚. 命题演算的两个直觉主义系统[J]. 河北大学学报(自然科学版), 2000, 20(4): 316-319 |
| |
| 作者姓名： | 刘大中 董克诚 |
| |
| 作者单位： | 1. 河北大学,计算机科学学院,河北,保定,071002
2. 河北大学,数学系,河北,保定,071002 |
| |
| 摘 要： | 介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系
|
| 关 键 词： | 直觉主义逻辑 命题演算 希尔伯特型 自然演绎型 |
| 修稿时间： | 2000-05-20 |
Two Intuitionistic Systems of Sentential Calculus |
| |
| LIU Da-zhong,DONG Ke-cheng. Two Intuitionistic Systems of Sentential Calculus[J]. Journal of Hebei University (Natural Science Edition), 2000, 20(4): 316-319 |
| |
| Authors: | LIU Da-zhong DONG Ke-cheng |
| |
| Abstract: | 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. |
| |
| Keywords: | intuitionistic logic sentential calculus Hilbert′s type natural deduction t? |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
