范畴类型逻辑:从语言到逻辑PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:邹崇理著
- 出 版 社:北京:中国社会科学出版社
- 出版年份:2008
- ISBN:9787500467113
- 页数:251 页
绪论 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
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《幼儿园课程资源丛书 幼儿园语言教育资源》周兢编 2015
- 《高等学校“十三五”规划教材 C语言程序设计》翟玉峰责任编辑;(中国)李聪,曾志华,江伟 2019
- 《音乐语言的根基》张艺编著 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《认知语言学视野的抽象方位结构研究》曹爽著 2019
- 《激活语言思维》李蒨,王宏年,汤青编著 2017
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《汉语言文学本科专业核心课程研究导引教材 古代汉语》马蓝婕责任编辑;(中国)魏宜辉 2019
- 《英语教师语言意识研究》秦莉,赵春贺著 2019
- 《大师徐悲鸿》郑理著 2019
- 《面向创新的区域知识产权战略》程德理著 2017
- 《20世纪中国图书馆学文库 55 西方图书馆史》杨威理著 2013
- 《日据时期台湾警察制度研究》李理著 2013
- 《一眼集》金理著 2013
- 《石化行业压力容器安全操作培训读本》石惟理著 2010
- 《农民合作社政策分析》涂琼理著 2013
- 《大片“赢”销 全美电影营销战》张巍,谈理著 2013
- 《跌荡牤牛河 上》周理著 2013
- 《计算机网络虚拟实践操作》蒋理著 2014
- 《红色旅游的社会效应研究》吴春焕著 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019