کمزورسازی همچنین شناخته شده با: تضعیف برابر انگلیک (انگلیسی): weakening دیسهای Γ ⊢ Σ Γ, 𝐴 ⊢ Σ Γ ⊢ Σ Γ, A ⊢ Σ