组合范畴语法与范畴类型逻辑的分析与比较

范畴语法的最早形式是 AB-演算，目前已发展成为一系列相互联系的形式系统，它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法，二者联系紧密，差异也明显，前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质，认为生成能力不具有主要的理论意义，在计算应用中没有价值；后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。