模态对应理论PDF格式文档图书下载
- 购买点数:10 点
- 作 者:约翰·范·本特姆著
- 出 版 社:北京:科学出版社
- 出版年份:2010
- ISBN:9787030278654
- 标注页数:250 页
- PDF页数:263 页
图书介绍:本书是由我们翻译的世界著名逻辑学家范本特姆的14篇论文组成,约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年,内容涵盖了关于自然语言形式化的研究,形式语言中的量词理论,范畴语法,特别是形式语言与可计算性和人类的语言认知能力的关系等热门问题。读者对象:逻辑专业、数学专业,对计算机专业的学生和学者也同样适用。
上一篇:品格决定成功 个人奋斗的精神标本下一篇:职场优势生存法则
图书介绍
丛书序 1
作者序 2
译者序 5
前言 7
上篇 模态逻辑和经典逻辑引言 4
记号和术语 7
第一部分 模态命题逻辑的简要概述 7
1 历史背景 12
2 可能世界语义 16
3 可定义性 27
4 模态代数 40
5 公理化理论 45
6 完全性 50
第二部分 模态公式的一阶可定义性 50
7 局部的和全局的一阶可定性 60
8 一阶可定义性的模型论刻画 67
9 代入方法 73
10 否证一阶可定义性 85
11 相对的一阶可定义性 94
12 模态谓词逻辑 101
13 模态公式的保持类 106
第三部分 模态可定义性 106
14 模态可定义的初等框架类 112
15 一阶公式的保持结果 118
16 模态可定义的框架类 135
第四部分 高阶可定义性 135
17 全称二阶语句 144
18 二阶逻辑 159
19 有穷类型论 168
参考文献 172
下篇 模态对应理论新进展 172
1 极小谓词、不动点和可定义性 179
2 模态框架对应和不动点 199
3 事情总要翻过来看! 219
附录 232
附录一 约翰·范本特姆小传 232
附录二 英汉/汉英专业术语、人名对照表 236
致谢 249
相关书籍
- 《模态对应理论》(荷)约翰·范本特姆著 2010
- 《模态对应理论》约翰·范·本特姆著 2010
- 《模态逻辑中的典范问题研究》裘江杰著 2014
- 《模态分析理论与应用》傅志方,华宏星著 2000
- 《模态分析理论与试验》(比)沃德·海伦(Ward Heylen)等著;白化同,郭继忠译 2001
- 《模态试验理论与实践》(英)尤因斯(Ewins,D.J.)著;赵淳生,周传荣译 1991
- 《振动结构模态分析 理论、实验与应用》曹树谦,张文德等编著 2001
- 《模态分析与实验》张力主编 2011
- 《多模态话语研究 电视访谈的多模态话语特征》代树兰著 2015
- 《多模态话语分析理论在中国的应用》李妙晴著 2019
作者其它书籍
- 《模态对应理论》约翰·范·本特姆著 2010
- 《模态对应理论》(荷)约翰·范本特姆著 2010
- 《西方会计基本原则与实务》(英)奥斯汀·惠特姆,(英)哈里·约翰逊著;李超选,邓丽译 1996
- 《逻辑、语言和认知》(荷)约翰·范本特姆著 2009
- 《逻辑、信息和互动》(荷)约翰·范本特姆著;刘奋荣,余俊伟等译 2008
- 《欧洲古董首饰收藏》(英)约翰·本杰明(John Benjamin)著 2018
- 《曼谷八区》(美)约翰·本登特著 2009
- 《民主与福利经济学》(荷)汉斯·范登·德尔(Hans Van Den Doel),(荷)本·范·韦尔瑟芬(Ben Van Vclthoven)著;陈刚等译 1999
- 《死刑论辩》欧内斯特·范·登·哈格 约翰·P·康拉德著 方鹏 吕亚萍译 2005
- 《现代企业财务管理》(美)詹姆斯·C.范霍恩(James C.Van Horne),(美)小约翰·M.瓦霍维奇(John M.Wachowicz,JR)著;郭浩译 2002
出版社其它书籍
- 《Townsend Press 英语词汇学习丛书 英语词汇入门 第2版》(美)纳代尔(Nadell.J)等编著 2018
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016