弱化規則
命題の集合
$ \Gamma,\Sigma
と適当な命題
$ A
について
$ \Gamma \vdash \Sigma
であるなら
$ \Gamma, A \vdash \Sigma
#部分構造論理
縮約規則
線形論理
では，
縮約規則
とこの規則が除外される
適切さの論理
では，これを除外する（
$ A
は帰結とは無関係なので）