线性逻辑

在数理逻辑中，线性逻辑是拒绝弱化和收缩的结构规则的一种亚结构逻辑。对此解释是假设是资源： 在证明中所有假设必须被消费精确一次。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是真理，它可以按需要被自由的使用多次。