縮約規則
命題の集合
$ \Gamma,\Sigma
，と単一の命題
$ A
について
$ \Gamma, A \vdash \Sigma
であるなら
$ \Gamma, A,A \vdash \Sigma
冪等
に関わる規則である
#部分構造論理
弱化規則
線形論理
では，この規則と
弱化規則
が除外される