图书介绍
范畴类型逻辑及其在汉语反身代词回指照应中的应用PDF|Epub|txt|kindle电子书版本网盘下载
- 贾青著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：9787516159521
- 出版时间：2015
- 标注页数：186页
- 文件大小：23MB
- 文件页数：196页
- 主题词：范畴－研究；汉语－代词－研究
PDF下载
下载说明
范畴类型逻辑及其在汉语反身代词回指照应中的应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 背景知识1
1.1 范畴类型逻辑的生成能力与乔姆斯基层级1
1.1.1 不同的范畴类型逻辑系统2
1.1.2 乔姆斯基层级6
1.1.3 不同范畴类型逻辑系统的生成能力9
1.2 汉语反身代词回指照应的主要特点及其成因11
1.2.1 乔姆斯基的约束原则11
1.2.2 汉语反身代词回指照应对于约束原则的违反13
1.2.3 约束反身代词回指的那些序列关系16
1.3 主要内容和章节分布20
1.3.1 主要内容20
1.3.2 章节分布21
第2章 传统范畴类型逻辑及LLC系统22
2.1 结合的兰贝克演算L22
2.1.1 L的公理表示22
2.1.2 L的树模式表示与自然推演表示26
2.1.3 L的Gentzen表示29
2.1.4 L的四种表示的等价性34
2.2 带受限缩并规则的兰贝克演算37
2.2.1 结构的层级以及其对回指照应问题的影响37
2.2.2 LLC的公理表示38
2.2.3 LLC的树模式表示和自然推演表示43
2.2.4 LLC的Gentzen表示45
2.2.5 LLC四种表示之间的等价性47
2.2.6 LLC在语言学中的应用以及其他方案49
第3章 前后搜索的（Bi）LLC系统55
3.1 语言学背景55
3.2 （Bi）LLC的公理表示58
3.3 （Bi）LLC的树模式表示和自然推演表示64
3.4 （Bi）LLC的Gentzen表示72
3.5 （Bi）LLC四种表示的等价性77
3.6 语言学中的应用80
第4章 多模态范畴类型逻辑与MMLLC系统84
4.1 多模态的范畴类型逻辑85
4.1.1 多模态范畴类型逻辑公理表示中的特点85
4.1.2 多模态范畴类型逻辑Gentzen表示中的特点87
4.2 多模态范畴类型逻辑系统MMLLC的公理表示89
4.2.1 语言学背景89
4.2.2 MMLLC的公理表示94
4.3 多模态范畴类型逻辑系统MMLLC的Gentzen表示98
4.4 MMLLC在语言学中一些问题上的应用100
第5章 对称范畴语法106
5.1 对称范畴语法的公理表示106
5.1.1 对称范畴语法公理表示中的语法特点106
5.1.2 对称范畴语法公理表示中的语义特点112
5.2 对称范畴语法的Gentzen表示118
5.2.1 对称范畴语法Gentzen表示中的语法特点118
5.2.2 对称范畴语法Gentzen表示中的语义特点124
第6章 对称范畴系统LGdis133
6.1 语言学背景133
6.2 对称范畴系统LGdis的公理表示135
6.3 语言学中的应用138
第7章 对比与展望141
7.1 不同方案的对比141
7.2 未来的工作143
第8章 其他逻辑分支对语言学问题的处理145
8.1 一阶逻辑及模态逻辑对语言学问题的处理145
8.1.1 一阶逻辑对连动结构的刻画145
8.1.2 模态逻辑对因果型连动结构的刻画152
8.2 STIT逻辑对语言学问题的处理164
8.2.1 STIT逻辑对以言行事行为的刻画164
8.2.2 STIT逻辑对合作原则的改写174
结语182
参考文献183
后记186