亚结构逻辑

来自术语
跳转至: 导航搜索

    泛指通过对经典逻辑的Gentzen型系统中的结构推理规则进行约束或拒绝而建立起来的非经典逻辑系统,著名的亚结构逻辑系统包括直觉主义逻辑、相干逻辑、BCK逻辑、线性逻辑以及Lambek演算等。

英文名 substructural logic



链接

Wikipedia https://en.wikipedia.org/wiki/substructural_logic
Zhishi.me http://zhishi.me/zhwiki/resource/亚结构逻辑