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

发布时间：2017-09-14 20:18

  本文关键词：知识蕴涵直觉主义逻辑系统

  更多相关文章： 知识蕴涵 直觉主义 司各脱法则 矛盾

【摘要】：在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。
【作者单位】： 中国社会科学院哲学研究所;
【关键词】： 知识蕴涵 直觉主义 司各脱法则 矛盾
【基金】：国家社会科学基金项目“不协调理论的推理机制研究”(10BZX054)阶段性成果
【分类号】：B812
【正文快照】： 为了解决包含不协调信息的知识系统的推理问题,我们建立了知识蕴涵逻辑的命题逻辑系统、模态逻辑系统、时态逻辑系统以及谓词逻辑系统[1-9],本文将在上述工作的基础上,在强知识蕴涵的基础上将知识蕴涵逻辑推广到直觉主义逻辑系统之中,建立知识蕴涵直觉主义命题逻辑系统。在该

【参考文献】

中国期刊全文数据库 前8条

1 杜国平;马亮;;哲思逻辑的判定问题[J];安徽大学学报(哲学社会科学版);2007年05期

2 杜国平;;知识蕴涵时态逻辑系统[J];安徽大学学报(哲学社会科学版);2009年05期

3 杜国平;王洪光;李娜;朱梧i，

本文编号：852115