| 直觉主义逻辑中的否定词 |
| |
| 引用本文： | 柯华庆.直觉主义逻辑中的否定词[J].现代哲学,2003,99(3):122-128. |
| |
| 作者姓名： | 柯华庆 |
| |
| 作者单位： | 中山大学逻辑与认知研究所,广东,广州,510275;中国政法大学人文学院逻辑研究所,北京,102249 |
| |
| 基金项目： | 该研究得到普通高等学校人文社会科学重点研究基地基金资助. |
| |
| 摘 要： | 该文从直觉主义否定词的特性出发讨论它存在的可能性，同时比较它与ELMQ中强否定词之间的关系，最后讨论了Heyting系统中两个否定性公理的合理性问题。
|
| 关 键 词： | 否定词 HQC CQC ELMQ |
| 文章编号： | 1000-7600（2003）03-0122-07 |
Between Cognation and Critique |
| |
| Kehuaqing.Between Cognation and Critique[J].Modern Philosophy,2003,99(3):122-128. |
| |
| Authors: | Kehuaqing |
| |
| Abstract: | This paper comments on Negation in Intuitionistic Logic from intuitionistic idea. It also discusses the relation between Negation in HQC and Strong Negation in ELMQ, Finally, it proves that two negative axioms in HQC are inconsistent with intuitionistic idea. |
| |
| Keywords: | negation HQC CQC ELMQ |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
