知识蕴涵直觉主义逻辑系统

摘要：

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统.结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性.在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立.在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案.

关键词：知识蕴涵、直觉主义、司各脱法则、矛盾

所属期刊栏目：14

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金项目“不协调理论的推理机制研究”10BZX054

在线出版日期：2012-06-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：18-22