更新时间：2024-05-21 16:39
相干逻辑，也叫做相关逻辑，是一类非经典亚结构逻辑，是次协调逻辑的一种形式，它在蕴涵上施加了特定限制。
（相干逻辑的英文术语：一般来说，澳大利亚逻辑学家称之为 relevant logic，其他说英语的逻辑学家称之为 relevance logic）。
相干逻辑经典逻辑
相干逻辑的显著特征是它们是次协调逻辑: 矛盾的存在不会导致逻辑爆炸。