收缩规则

在逻辑学和类型论中, 收缩规则是某种在语境中复制事物的规则.

1在逻辑学中

在逻辑学中, 对于命题 $A$, 它的收缩规则指如下规则:$$\frac{\Gamma ,A,A⊢C}{\Gamma ,A⊢C}$$

这也就是说, 如果我们有一个相继式使用了多次 $A$ 条件, 那么这相当于只用了一次.

收缩规则是结构性规则的一种, 不假设收缩规则的逻辑叫仿射逻辑.

术语翻译

收缩规则 • 英文 contraction rule