| 类型--逻辑语法的句法特色 |
| |
| 引用本文： | 张秋成. 类型--逻辑语法的句法特色[J]. 湖南科技大学学报(社会科学版), 2006, 9(3): 35-39 |
| |
| 作者姓名： | 张秋成 |
| |
| 作者单位： | 中国人民大学,外国语学院,北京,100872 |
| |
| 摘 要： | 论述类型—逻辑语法的句法特色———兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。
|
| 关 键 词： | 范畴语法 兰贝克演算 后承语法 |
| 文章编号： | 1672-7835(2006)03-0035-05 |
| 修稿时间： | 2006-01-15 |
On the Syntactic Characteristics of Type- Logical Grammar |
| |
| ZHANG Qiu-cheng. On the Syntactic Characteristics of Type- Logical Grammar[J]. journal of hunan university of science&technology, 2006, 9(3): 35-39 |
| |
| Authors: | ZHANG Qiu-cheng |
| |
| Abstract: | 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 TypeLogical Grammar. |
| |
| Keywords: | categorial grammar Lambek calculus sequent grammar |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
