Extra
精选上位词
线性逻辑
简介
在数理逻辑中,线性逻辑是拒绝弱化和收缩的结构规则的一种亚结构逻辑。对此解释是假设是资源:在证明中所有假设必须被消费精确一次。这区别于平常的逻辑比如经典逻辑或直觉逻辑,那里统治判断是真理,它可以按需要被自由的使用多次。
| 上位词 | 一种亚结构逻辑 |
|---|---|
| 中文名 | 线性逻辑 |
| 原始名称 | 线性逻辑 |
| 属性 | 线性 |
| 性质 | 逻辑 |
相关实体