期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一阶谓词演算自然演绎型直觉主义系统NDPI
1
作者 刘大中 董克诚 《河北大学学报(自然科学版)》 CAS 2003年第4期422-424,共3页
关键词 谓词演算 自然演绎型 判断 坚钦 直觉主义逻辑
在线阅读 下载PDF
命题演算的两个直觉主义系统 被引量:1
2
作者 刘大中 董克诚 《河北大学学报(自然科学版)》 CAS 2000年第4期316-319,共4页
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 。
关键词 直觉主义逻辑 命题演算 希尔伯特 自然演绎型
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部