类型逻辑语法竖线算子的推广

摘要：

@@ 类型逻辑语法又叫范畴类型逻辑,其基本原则由荷兰逻辑学和计算语言学家穆特盖特(Moortgat)教授概括出来:cognition=computation;grammar=logic.这里意味:语言认知就是计算,语言法则就是逻辑.简言之,类型逻辑语法的核心精神就是把自然语言的句法毗连和语义组合转化成计算推演,类型逻辑语法是满足计算机信息处理之需求而制定的自然语言语法.

机标关键词：类型逻辑语法

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

资助基金：国家社会科学基金09BZX046

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

页码：90-93