节点文献
论相干逻辑的研究方法
【摘要】 相干逻辑的形式系统组成一个逻辑家族,这些逻辑系统的共同点是:坚持演绎推理的相干性,拒斥"结论的推导未实际使用前提"的推理方式。相干系统的分类建构与可拆分,为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段,证明了"相干原理"等一系列元定理,用以揭示相干蕴涵的逻辑特性和排除形形色色的"蕴涵怪论"。相干语义理论内涵丰富,而直观的信息论解释,不仅细致地描述了三元关系语义的理论背景,也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。
【基金】 教育部规划项目《子结构逻辑研究》(06JA724001);国家社会科学基金项目《相干逻辑研究》(05BZX050)
- 【文献出处】 华东师范大学学报(哲学社会科学版) ,Journal of East China Normal University(Philosophy and Social Sciences) , 编辑部邮箱 ,2008年06期
- 【分类号】B812
- 【被引频次】4
- 【下载频次】242