关于组合范畴语法CCG

摘要

组合范畴语法CCG（Combinatory Categorial Grammar）和类型逻辑语法TLG（Type Logical Grammar）都是范畴语法的现代版本,前者关注范畴语法的语言学应用和自然语言的信息处理,后者倾向于从逻辑的角度审视范畴语法的理论性质。CCG的特点有：原子范畴的加标多样化和彻底的词汇主义思路;斜线算子的下标模态化和函子范畴的多样组合;基于范畴等级和范畴构造的视角建立CCG的证明论。