第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 结合的兰贝克演算L 22
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章 对称范畴系统LGdis 133
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