类型-逻辑语法研究PDF电子书下载

第一章 导论 1

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

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

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

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

1.5 本书的创新之处 9

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

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

2.1 范畴语法简介 13

2.2 兰贝克演算 17

第三章 类型-逻辑语义学 25

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

3.2 简单类型的λ-演算 26

3.3 高阶逻辑 36

第四章 类型-逻辑语法的形成 45

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

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

4.3 类型-逻辑语法的词库 48

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

4.5 自然演绎的兰贝克演算 51

4.6 自然演绎的兰贝克演算的规范化归模式 56

4.7 意义公设 57

4.8 积运算 60

第五章 类型-逻辑语法与逻辑形式系统的深刻联系 63

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

5.2 类型-逻辑语法与直觉主义命题逻辑 65

第六章 类型-逻辑语法在应用中的丰富和发展（上） 71

6.1 对并列结构的处理 71

6.2 对无界限约束结构的处理 85

6.3 对量化结构和量化辖域问题的处理 96

第七章 类型-逻辑语法在应用中的丰富和发展（下） 113

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

7.2 克里普克信息模型 117

7.3 范畴语法的多重模态系统 120

7.4 空隙构造算子↑演绎模式的改进及其对非连续结构的处理 127

7.5 结构控制 130

第八章 类型-逻辑语法对汉语的处理 139

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

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

8.3 类型-逻辑语法对汉语的形式化处理 145

结语 149

参考文献 154

后记 160