- 作 者：张秋成著
- 出 版 社：北京：中国人民大学出版社
- 出版年份：2007
- ISBN：7300084052
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
8
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 导论 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