类型逻辑语法

作者：满海霞; 李可胜

来源：哲学动态, 2010, (10): 103-106.

• 类型逻辑语法
• 语义类型
• 自然语言
• 莫特
• 盖特
• 语义解释
• 日常语言
• 蒙太格语法
• 斜线算子
• 兰贝克演算
• 句法范畴

<正>类型逻辑语法(type logical grammar)是在经典范畴语法(basic categorial grammar)基础上发展起来的一个现代版本,它区别于传统范畴语法的最突出特征,就是通过使用加标演绎的表述方式,实现了句法推

• 单位
  中国社会科学院哲学研究所; 合肥师范学院