图书介绍
类型-逻辑语法研究PDF|Epub|txt|kindle电子书版本网盘下载
- 张秋成著 著
- 出版社： 北京：中国人民大学出版社
- ISBN：7300084052
- 出版时间：2007
- 标注页数：160页
- 文件大小：6MB
- 文件页数：167页
- 主题词：语法－研究
PDF下载
下载说明
类型-逻辑语法研究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 导论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