摘要： ：组合范畴语法ＣＣＧ（ＣｏｍｂｉｎａｔｏｒｙＣａｔｅｇｏｒｉａｌＧｒａｍｍａｒ）和类型逻辑语法ＴＬＧ（ＴｙｐｅＬｏｇｉｃａｌ Ｇｒａｍｍａｒ）都是范畴语法的现代版本，前者关注范畴语法的语言学应用和自然语言的信息处理， 后者倾向于从逻辑的角度审视范畴语法的理论性质。ＣＣＧ的特点有：原子范畴的加标多样化和 彻底的词汇主义思路；斜线算子的下标模态化和函子范畴的多样组合；基于范畴等级和范畴构 造的视角建立ＣＣＧ的证明论。