期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
直觉主义逻辑中的否定词
1
作者 柯华庆 《现代哲学》 CSSCI 北大核心 2003年第3期122-128,共7页
该文从直觉主义否定词的特性出发讨论它存在的可能性,同时比较它与ELMQ中强否定词之间的关系,最后讨论了Heyting系统中两个否定性公理的合理性问题。
关键词 否定词 HQC CQC elmq
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部