contraction
縮約
のこと
論理
縮約規則
Structural rule - Wikipedia
構造規則
の方
含意
の
推論規則
の方もある
P→P→Q ⊨ P→Q
P→P→Q ⊢ P→Q
cf. ヒルベルト流の論理体系
ref.
Hilbert system - Wikipedia
線形論理
では不成立？
wint.icon