关键词: 相干逻辑, 研究方法, 形式系统, 蕴涵怪论, 相干原理, 语义理论

Abstract:

相干逻辑的形式系统组成一个逻辑家族，这些逻辑系统的共同点是：坚持演绎推理的相干性，拒斥“结论的推导未实际使用前提”的推理方式。相干系统的分类建构与可拆分，为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段，证明了“相干原理”等一系列元定理，用以揭示相干蕴涵的逻辑特性和排除形形色色的“蕴涵怪论”。相干语义理论内涵丰富，而直观的信息论解释，不仅细致地描述了三元关系语义的理论背景，也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。