大家好,小钱来为大家讲解以上的问题。线性逻辑，关于线性逻辑介绍这个很多人还不知道,我们一起来看看！

1、 在数理逻辑中，线性逻辑是拒绝弱化和收缩的结构规则的一种亚结构逻辑。

2、对此解释是假设是资源： 在证明中所有假设必须被消费精确一次。

3、这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是真理，它可以按需要被自由的使用多次。

关于线性逻辑到此分享完毕，希望能帮助到您。