第1章 背景知识
1.1 范畴类型逻辑的生成能力与乔姆斯基层级
1.1.1 不同的范畴类型逻辑系统
1.1.2 乔姆斯基层级
1.1.3 不同范畴类型逻辑系统的生成能力
1.2 汉语反身代词回指照应的主要特点及其成因
1.2.1 乔姆斯基的约束原则
1.2.2 汉语反身代词回指照应对于约束原则的违反
1.2.3 约束反身代词回指的那些序列关系
1.3 主要内容和章节分布
1.3.1 主要内容
1.3.2 章节分布
第2章 传统范畴类型逻辑及LLC系统
2.1 结合的兰贝克演算L
2.1.1 L的公理表示
2.1.2 L的树模式表示与自然推演表示
2.1.3 L的Gentzen表示
2.1.4 L的四种表示的等价性
2.2 带受限缩并规则的兰贝克演算
2.2.1 结构的层级以及其对回指照应问题的影响
2.2.2 LLC的公理表示
2.2.3 LLc的树模式表示和自然推演表示
2.2.4 LLC的Gentzen表示
2.2.5 LLC四种表示之间的等价性
2.2.6 LLC在语言学中的应用以及其他方案
第3章 前后搜索的(Bi)LLc系统
3.1 语言学背景
3.2 (Bi)LLC的公理表示
3.3 (Bi)LLC的树模式表示和自然推演表示
3.4 (Bi)LLc的Gentzen表示
3.5 (Bi)LLC四种表示的等价性
3.6 语言学中的应用
第4章 多模态范畴类型逻辑与MMLLc系统
4.1 多模态的范畴类型逻辑
4.1.1 多模态范畴类型逻辑公理表示中的特点
4.1.2 多模态范畴类型逻辑Gentzen表示中的特点
4.2 多模态范畴类型逻辑系统MMLLC的公理表示
4.2.1 语言学背景
4.2.2 MMLLC的公理表示
4.3 多模态范畴类型逻辑系统MMLLC的Gentzen表示
4.4 MMLLC在语言学中一些问题上的应用
第5章 对称范畴语法
5.1 对称范畴语法的公理表示
5.1.1 对称范畴语法公理表示中的语法特点
5.1.2 对称范畴语法公理表示中的语义特点
5.2 对称范畴语法的Gentzen表示
5.2.1 对称范畴语法Gentzen表示中的语法特点
5.2.2 对称范畴语法Gentzen表示中的语义特点
第6章 对称范畴系统LGadis
6.1 语言学背景
6.2 对称范畴系统LGdis的公理表示
6.3 语言学中的应用
第7章 对比与展望
7.1 不同方案的对比
7.2 未来的工作
第8章 其他逻辑分支对语言学问题的处理
8.1 一阶逻辑及模态逻辑对语言学问题的处理
8.1.1 一阶逻辑对连动结构的刻画
8.1.2 模态逻辑对因果型连动结构的刻画
8.2 STIT逻辑对语言学问题的处理
8.2.1 STIT逻辑对以言行事行为的刻画
8.2.2 STIT逻辑对合作原则的改写
结语
参考文献
后记