类型-逻辑语法，以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色，受到了形式语义学、语言学、语言哲学和自然语言理解和处理等领域的广泛关注，并继续保持迅猛的发展势头。

本书作者试图在充分借鉴国内外研究成果的基础之上，不但完整准确地介绍、分析和评价类型-逻辑语法这一重要的自然语言逻辑理论，而且从理论和实践两方面探讨该理论对汉语形式化研究的适用性，为我国的汉语形式化处理——这一十分落后和薄弱的领域——做一些有益的探索和努力。

第一章 导论

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

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

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

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

 1.5 本书的创新之处

 1.6 本书的写作特点和基本框架

第二章 类型-逻辑语法的句法学

 2.1 范畴语法简介

 2.2 兰贝克演算

第三章 类型-逻辑语义学

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

 3.2 简单类型的λ-演算

 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 类型-逻辑语法对汉语的形式化处理

结语

参考文献

后记