结构规则 在证明论中结构规则是不提及任何逻辑连结词的推理规则它直接操作于判断或相继式结构规则通常模仿逻辑的元理论性质拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑