在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题"A"和"A" ⇒ "B"能按如下步骤得出结果"A" ∧ "B":这经常被符号化表示为相继式："A", "A" ⇒ "B" formula_1 "B"。在上述证明中"消费"了"A"为真的事实；这种真理的"自由"通常是在形式化数学中所需要的。但是，真理经常