دستورهای ساختاری

همچنین شناخته شده با: قواعد ساختاری
برابر انگلیک (انگلیسی): structural rules

1.Γ, 𝐴, 𝐴 ⊢ Σ
Γ, 𝐴 ⊢ Σ
Γ, A, A ⊢ Σ <div class="den">Γ, A ⊢ Σ </div> Γ, A, A ⊢ Σ <div class="den">Γ, A ⊢ Σ </div>کوچک‌شدنrule
2.Γ ⊢ Σ
Γ, 𝐴 ⊢ Σ
Γ ⊢ Σ <div class="den">Γ, A ⊢ Σ </div> Γ ⊢ Σ <div class="den">Γ, A ⊢ Σ </div>کم‌زور‌سازیrule
3.𝐴, 𝐵 ⊢ Σ
𝐵, 𝐴 ⊢ Σ
A, B ⊢ Σ <div class="den">B, A ⊢ Σ </div> A, B ⊢ Σ <div class="den">B, A ⊢ Σ </div>جایگشتrule