一阶谓词演算自然演绎型直觉主义系统NDPI
Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus作者机构：河北大学数学与计算机学院河北保定071002
出 版 物：《河北大学学报（自然科学版）》 (Journal of Hebei University(Natural Science Edition))
年 卷 期：2003年第23卷第4期
页 面：422-424页
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要：学习NDPI(Nature Deduct~ on Pred~ cate Intuitionistic)[1]时，自然会提出这样的问题：如何证明判断PV-1 P(P是一个命题)在该系统中是不可证的?本文就回答这个问题．
维普期刊数据库
同方期刊数据库