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

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