کوچک‌شدن
همچنین شناخته شده با: انقباض
برابر انگلیک (انگلیسی): contraction contraction rule
دیسه‌ای
Γ, 𝐴, 𝐴 ⊢ Σ
Γ, 𝐴 ⊢ Σ
Γ, A, A ⊢ Σ
Γ, A ⊢ Σ


تاربرگ‌های پیموده‌شده در این نشست: جبر بُن‌پارین ⟩ توان‌ذهنی ⟩ Double Negation Elimination ⟩ بی‌کنشی چندبارگی ⟩ ارنست فردریش فردیناند تسرملو ⟩ بنداشت اسکفت