- 作 者：邹崇理著
- 出 版 社：北京：中国社会科学出版社
- 出版年份：2008
- ISBN：9787500467113
- 标注页数：251 页
- PDF页数：261 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源261 ≥251页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
绪论 1
第一章 范畴类型逻辑的发展阶段 11
第1节 古典范畴语法 11
1.1 范畴和运算 12
1.2 形式化表述 17
1.3 古典范畴语法的变异 19
第2节 Lambek句法演算 22
2.1 运算即推演 23
2.2 形式系统 26
第3节 蒙太格语法 30
3.1 范畴语法的独特形态 30
3.2 通用语法模式 32
3.3 直接和间接的语义解释 40
第4节 类型-逻辑语义学 59
4.1 句法和语义的综合表述 60
4.2 后承演绎图式和自然演绎系统 64
4.3 关于量化表达式的处理 73
第5节 语法逻辑 81
5.1 公理系统 81
5.2 框架语义学 87
5.3 Gentzen后承表述 91
5.4 合并或交织的多模态系统 97
第二章 范畴类型逻辑的特性——逻辑的新功能 108
第1节 范畴类型逻辑的自然语言语句系统 108
1.1 蒙太格语法的语句系统 109
1.2 类型-逻辑语义学的语句系统 114
第2节 范畴类型逻辑和自然语言的计算机处理 118
2.1 基于范畴类型逻辑的逻辑程序语言 118
2.2 基于范畴类型逻辑的语法自动分析 124
第3节 范畴类型逻辑的逻辑系统 136
3.1 Lambek演算对判定问题的解决 137
3.2 对应λ-词项的完全性证明 141
3.3 展示自然语言句法生成的语法逻辑 148
3.4 表现自然语言语义的高阶内涵逻辑 153
第4节 逻辑的新功能——关于自然语言的逻辑系统 160
4.1 源于语言照应关系的动态逻辑 161
4.2 用于语法分析的特征结构逻辑 169
4.3 基于情境关联的信息流逻辑 180
第三章 范畴类型逻辑研究 194
第1节 非连续量词的类型-逻辑语义处理 194
第2节 有关汉语灵活语序的多模态范畴逻辑 205
第3节 融合特征结构的范畴类型推演 218
第4节 处理照应关系的范畴类型推演 227
参考文献 236
后记 243