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