相干逻辑,也叫做相关逻辑,是一类非经典亚结构逻辑,它在蕴涵上施加了特定限制。(一般但不完全的,澳大利亚逻辑学家称之为relevant logic,其他说英语的逻辑学家称之为relevance logic)。
http://plato.stanford.edu/entries/logic-relevance/