子结构逻辑(substructural logic),哲学-哲学-逻辑学-逻辑,现代逻辑分类中的一种。在一个形式语言L中,结构当且仅当通过以下方式获得:①空集是结构。②单个公式是结构。③如果X、Y都是结构,则(X,Y)也是结构。一个矢列指的是形如X├A的表达式,其中X是结构,A是公式,├是推断符号。在结构推理系统中,推理规则是以若干矢列为前提,而推出另一个矢列。其中有些推理规则涉及逻辑联接词,一般包括联接词的引入和消去规则,这类推理规则被称为联接词规则;还有一类推理规则不涉及逻辑联接词,这类推理规则被称为结构规则。子结构逻辑是通过限制若干结构规则而得到的逻辑。常见的子结构逻辑有直觉主义逻辑、相干逻辑等。