作者：姚从军; 李奕丹直觉主义逻辑相干逻辑线性逻辑兰贝克演算混合范畴类型逻辑
摘要：从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原始兰贝克演算较好地体现了自然语言的资源管理方式,但它是一种非结合非交换的系统,故在计算处理上存在许多不足之处.依据交换规则和结合规则的不同取舍,形成了四个层级的兰贝克演算系统.不同兰贝克演算系统具有不同语料描述模式,故处理语言现象的专长有别.系统LLC(或LLCW')使原始兰贝克演算增加了后承前件中资源可重复使用的能力,混合范畴类型逻辑使原始兰贝克演算增加了受控的结合能力或交换能力,二者合并之结果应是自然语言计算处理的理想工具.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
