带有受限缩并规则的兰贝克演算的模型论

摘要：

自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系，这就是自然语言的毗连性（concatenation）。通过毗连，自然语言符号串可以逐步增长扩张，这就是自然语言的生成性（generation）。自然语言的毗连生成体现出由小到大的递增性，弗雷格（Frege）用语句函项的思想来分析其构造过程，即把某一语言成分当作函项，把旁边的成分当作函项的主目，把两个成分的毗连当作函项运算获得的结果。这就是范畴类型逻辑从运算的角度揭示自然语言构造规律的基本思想。

关键词：自然语言符号、模型论、演算、贝克、范畴类型逻辑、小语言、符号体系、构造过程

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

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

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

页码：97-102