类型-逻辑语法研究

《类型-逻辑语法研究》是2007年中国人民大学出版社出版的渐绍孔景续图书，作者是张秋来自成。

• 书名 类型-逻辑语法研究
• 作者 张秋成
• 类别 图书 > 语言文字 > 语言学
• 出版社 中国人民大学出版社
• 出版时间 2007年05月01日

内容简介

　　类型-逻辑语法，以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜来自明特色，受到了形式语义学、钢站强示弦标意七号仅语言学、语言哲学和自然语言理解360百科和处理等领域的广泛关注，并继续保持迅猛的发展势头。 《类型 逻辑语法研究》作者试图在充分借鉴国内外研究成果的基础之上，不抓殖冲但完整准确地介绍、分析和评价类型-逻辑语保何叶法这一重要的自然语言逻辑理论，而且从理论和实践两方面探讨该理论对汉语形式化研究的适用性，为我国的汉语形式化处理、这一十分落后和薄弱的领域、做一些有益的探索液和努力。

作者简介

　　张秋成，因所留行策那青2003年获得中国人民大学哲学博士学位，现任中国人民大学外国语学院讲师。主要研究方向为语言逻辑、语言哲学和理论语言学，发表《内涵语境下替换失效问题及其解决》(被CSSC1收录)、《类型-逻辑语法的句法特色》(被中国人民大学书间是治试伟院法际推天报资料中心全文转载)等8篇论文，编著《大学英语读写教程》(编者之一)、《工商管理英语教程(上册)》(副主编及编者之一)等。

目换唱只尼卷鲜孙模护录

　　第一章

　　弦直导论1.1

　　语言逻辑的学科性质和研究对象1.2

　　语言逻辑和自然语言理解和处理1.3

　　自然语言逻辑研究的方法论原则——意义组合原来自则1.4

　　类型-逻辑语法在国内外的研究状况1.5

　　本书的创新之处1.6

　　本书的写作特360百科点和基本框架第二章

　　类型-逻辑语法的句法学2.1

　　范畴语法简介2.2

　　兰贝克演算第三章

答雨盐板磁鲜剧克刑取　　类型-逻辑语义学3.1

　　蒙塔古语法的内涵类型逻辑3.2

　　简单类型的&l华帝实轻ambda;-演算3.3

　　高阶逻辑第四章

　　类型-逻辑语法的形成4.1

　　兰贝克句法演算和类型-末逻辑语义学的结合4.2

　　配以λ-词项的兰贝克句法演算4.3

扬通确　　类型-逻辑语法的词库4.4

　　类型-逻辑语法对自然语言句法和语义的描写4.5

　　自然演绎的兰贝克演算4.6

　　自然演绎言的兰贝克演算的规范容前改良化归模式4.7

　　意义公设4.8

　　积运算第五章

　　类型-逻辑语法与逻辑形式系统的深刻联系5.1

　　作为一种子结构逻辑的类型-逻辑语法5.2

　　类型-逻辑语法与直觉主义命题逻辑是送己除川却冷第六章

　　类型-逻辑语法在应用甲计误化植怎耐中的丰富和发展(上)6.1

　　对并列结构的处理6.2

　　对无界限约束结构的路升款均化处理6.3

　　对量化结构和量化辖域问题的处理第七章

　　类型-逻辑语法在应用中的丰火燃春析富和发展(下)7普定.1

　　不承认结合公理的兰贝克演算7.2

　　克里普克信息模型7.脱但衣坚说货挥3

　　范畴语法的多重模续态系统7.4

　　空隙构造算子十演绎模式的改进及其对非连续结构的处部钟欢理7.5

　　结构控制第八章

　　类型-逻辑语法对汉语的处理8.1

　　我国的自然语言逻辑研究状况8.2

　　类型-逻辑语法对汉语形式化研究的适用性8.3

　　类型-逻辑语法对汉语的形式化处理结语参考文献后记