类型逻辑语法的词汇主义思想

类型逻辑语法（Type Logical Grammar）是经典范畴语法（Basic Categorial Grammar）的一个现代版本，是范畴语法与类型逻辑语义学联姻的产物。利用加贝（D．Gabbay）[1]给出的加标演绎表述，类型逻辑语法实现了句法生成和语义组合的并行推演，句法生成基于Lambek演算提供的范畴运算，而语义组合则依据代表语义的入一演算进行。