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

摘要：

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

机标关键词：类型逻辑语法、词汇主义、义思想

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金RP/ESLT-3/2008;09BZX046

在线出版日期：2011-08-05（万方平台首次上网日期，不代表论文的发表时间）

页码：98-101