类型—逻辑语法的句法特色  

On the Syntactic Characteristics of Type-Logical Grammar

作　　者：张秋成[1] 

机构地区：[1]中国人民大学外国语学院,北京100872

出　　处：《湖南科技大学学报（社会科学版）》2006年第3期35-39,共5页Journal of Hunan University of Science and Technology(Social Science Edition)

摘　　要：论述类型—逻辑语法的句法特色———兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。This paper discusses the syntactic characteristics of Type- Logical Grammar, the Lambek calculus. In this paper, the author concludes that the Lambek calculus is the further development of the Classical Categorial Grammar founded by Ajduciewicz and Bar- Hillel on the basis of a brief account of categorial history, and centers on the Gentzen- style Lambek calculus widely used in practice. By doing so, this paper thus reveals the logical nature of Type- Logical Grammar.

关 键 词：范畴语法 兰贝克演算 后承语法 

分 类 号：H146.3[语言文字—汉语]