《表1 结构层级:范畴语法层级系统及其在自然语言计算中的优劣分析》
到目前为止,我们这里所考虑的逻辑演算形成了一个强度递增的系统层级,兰贝克演算是这些系统中最弱的系统,经典逻辑是最强的系统。在直觉主义逻辑和兰贝克演算之间,各演算的区别由结构规则的去留决定,这就形成了针对结构规则模式而言的“结构层级”,以及针对所有演算而言的“子结构逻辑”。这个层级概述见表1。
图表编号 | XD0063204500 严禁用于非法目的 |
---|---|
绘制时间 | 2019.01.01 |
作者 | 姚从军、李奕丹 |
绘制单位 | 湘潭大学碧泉书院、湘潭大学碧泉书院 |
更多格式 | 高清、无水印(增值服务) |