Substructural Logics的意思|示意
美 / /
英 / /
子结构逻辑
Substructural Logics的网络常见释义
子结构逻辑 相干逻辑、线形逻辑等被归入子结构逻辑（substructural logics），因为它们都是通过在其证明系统中去掉上述三个结构规则中的一个或多个而得到的。