相干逻辑,也叫做相关逻辑,是一类非经典亚结构逻辑,它在蕴涵上施加了特定限制。