結構規則

在證明論中 ， 結構規則是不提及任何邏輯連結詞的推理規則 ， 它直接操作於判斷或相繼式 。 結構規則通常模仿邏輯的元理論性質 。 拒絕一個或多個結構規則的邏輯被歸類爲亞結構邏輯 。