亚结构逻辑

（计算机科学技术名词）

亚结构逻辑（substructural logic）是2018年公布的计算机科学技术名词。泛指通过对经典逻辑的根岑（Gentzen）型系统中的结构推理规则进行约束或拒绝而建立起来的非经典逻辑系统，著名的亚结构逻辑系统包括直觉主义逻辑、相干逻辑、BCK逻辑、线性逻辑以及拉姆贝克（Lambek）演算等。