【摘 要】
：
在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性
【基金项目】
：
国家社会科学基金项目“不协调理论的推理机制研究”(10BZX054)阶段性成果
论文部分内容阅读
在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。
其他文献
目的以左旋多巴为底物考察桑白皮乙醇提取液对马铃薯酪氨酸酶的抑制作用。方法采用不同极性溶剂对桑白皮有效成分进行提取,比较各种提取液对马铃薯酷氨酸酶的抑制效果;将提取
目的探讨壳聚糖澄清剂用于头花蓼水提液的絮凝澄清工艺。方法以总黄酮和槲皮苷的含量为考察指标,采用正交实验优选壳聚糖的最佳澄清条件,并与传统的水煮醇沉工艺相比较,评价
<正> 百里香,俗名:地椒、山花椒。是内蒙古南部和邻省区地带主要野生草本蜜源植物之一,也是赤峰市,哲里木盟地区全年最早的主要蜜源。由于开花早,收成较稳,每年都有大量外省
<正>需求分析在与社区青少年的接触中,社工们发现,大部分社区青少年缺乏个人成长所需资源,仅从他们个体出发来解决问题,取得的效果一般。因此,这就需要我们社工整合各种社会
进入21世纪以来,竹笛书籍数目整体上繁荣发展,但是许多书籍缺乏新意,程式化、雷同化严重,而在这些书中,耿涛的《中国竹笛曲论》却是新世纪竹笛教材著作的优秀代表。全书共分
在0和1的世界里,我们可以将自身的智慧,以及与外界的联系,经过"原子到比特"的编辑、组合、排列、压缩、还原等复杂程序,经过一定载体的传输和接收,再经过过滤、分拣、排列、
<正>桂枝汤为《伤寒论》中第一方,医药方家誉之为"群方之冠"。在桂枝汤的基础上增加或减少药味进而形成桂枝汤类方19方,故该方也成为《伤寒杂病论》中独立的一首药方。我国著
<正> 窿缘桉又叫小叶桉,有加利,是桃金娘科常绿乔木。主要分布在南方各省,以广东、广西最多,福建、云南、四川等省也有分布,它和“雷林一号”桉树一起构成雷州半岛的大蜜源,
新课程标准下,探索语文阅读模式的研究具有十分重要的现实意义。笔者结合自己的教学实践,尝试开展以提高学生素质、培养学生能力、发展学生个性特长为目标的"五环节教学法"。
一个民族的建筑是其文化最重要的载体之一。吊脚楼作为土家族地区最为常见的民居建筑形式,其价值是人居环境、风土民俗和民族审美观念有机结合的综合体。通过对土家族吊脚楼