论文部分内容阅读
类型逻辑语法亦称范畴类型逻辑。荷兰逻辑学家和计算语言学家莫特加特（Moortgat）用三个口号慨括出要点：认知（cognition）：计算（computation）；语法（grammar）=逻辑（logic）；解析（parsing）=演绎（deduction）（Moortgat，2005a）。这意谓，语言认知可以化归为计算过程；