Two of the more significant substructural logics are relevance logic and linear logic.
两个重要的亚结构逻辑是相干逻辑和线性逻辑。