可能世界的名字
出版时间:
2017-06
版次:
1
ISBN:
9787516199626
定价:
48.00
装帧:
其他
开本:
16开
纸张:
胶版纸
12人买过
-
由刘新文、祝瑞等*的《可能世界的名字(精)》主要有以下内容:**,比较全面研究了作为模态逻辑新分支的混合逻辑,这些研究对象是以这一族逻辑中的*小系统为主;第二,在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上,建立了混合的核证逻辑的*小系统,解决了国际*名逻辑学家Melvin
Fitting在2010年提出的未解决问题。本书中的内容,不仅推动了国际、国内逻辑学界相关问题的研究进展,对于国内哲学界了解可能世界语义学、可证性等哲学概念的发展也具有重要意义。 前言
第一章 可能世界的名字
一 模态逻辑背景
二 混合逻辑的理论意义
三 混合逻辑简史
第二章 基本模态逻辑与时态逻辑
一 语言与逻辑
二 关系语义学
三 正规模态逻辑的公理系统
四 普通模态语言的表达能力
第三章 基本混合逻辑
一 基本混合语言
二 混合语言
三 混合逻辑
四 Ku@和Ku
第四章 一般完全性结果
第五章 混合时态逻辑
一 Past算子
二 时态
第六章 混合语言的扩充
一 强力的模态词
二 模态约束词
第七章 可判定性、复杂性和内插性
第八章 证明方法简介
一 预备知识
二 加标演绎
第九章 后承演算
一 后承演算SC
二 后承@-演算
三 非标准的后承演算
第十章 自然推演系统
一 普通自然推演系统
二 布劳纳系统
第十一章 表列系统
一 混杂演算
二 @-演算
第十二章 消解证明
一 HyloRes
二 基于消解的自然推演系统
第十三章 混合的核证逻辑背景
二 基本混合核证逻辑
三 进一步的问题
参考文献
索引
-
内容简介:
由刘新文、祝瑞等*的《可能世界的名字(精)》主要有以下内容:**,比较全面研究了作为模态逻辑新分支的混合逻辑,这些研究对象是以这一族逻辑中的*小系统为主;第二,在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上,建立了混合的核证逻辑的*小系统,解决了国际*名逻辑学家Melvin
Fitting在2010年提出的未解决问题。本书中的内容,不仅推动了国际、国内逻辑学界相关问题的研究进展,对于国内哲学界了解可能世界语义学、可证性等哲学概念的发展也具有重要意义。
-
目录:
前言
第一章 可能世界的名字
一 模态逻辑背景
二 混合逻辑的理论意义
三 混合逻辑简史
第二章 基本模态逻辑与时态逻辑
一 语言与逻辑
二 关系语义学
三 正规模态逻辑的公理系统
四 普通模态语言的表达能力
第三章 基本混合逻辑
一 基本混合语言
二 混合语言
三 混合逻辑
四 Ku@和Ku
第四章 一般完全性结果
第五章 混合时态逻辑
一 Past算子
二 时态
第六章 混合语言的扩充
一 强力的模态词
二 模态约束词
第七章 可判定性、复杂性和内插性
第八章 证明方法简介
一 预备知识
二 加标演绎
第九章 后承演算
一 后承演算SC
二 后承@-演算
三 非标准的后承演算
第十章 自然推演系统
一 普通自然推演系统
二 布劳纳系统
第十一章 表列系统
一 混杂演算
二 @-演算
第十二章 消解证明
一 HyloRes
二 基于消解的自然推演系统
第十三章 混合的核证逻辑背景
二 基本混合核证逻辑
三 进一步的问题
参考文献
索引
查看详情
-
全新
北京市东城区
平均发货21小时
成功完成率89.19%
-
全新
四川省成都市
平均发货10小时
成功完成率95.28%
-
全新
河北省保定市
平均发货26小时
成功完成率83.4%
-
全新
浙江省嘉兴市
平均发货13小时
成功完成率94.89%
-
全新
四川省成都市
平均发货7小时
成功完成率98.8%
-
全新
江苏省南京市
平均发货14小时
成功完成率83.66%
-
全新
北京市房山区
平均发货28小时
成功完成率87.74%
-
全新
河北省保定市
平均发货20小时
成功完成率78.72%
-
全新
天津市河东区
平均发货24小时
成功完成率88.62%
-
全新
江苏省无锡市
平均发货14小时
成功完成率95.12%
-
全新
河北省保定市
平均发货18小时
成功完成率91.82%
-
可能世界的名字
本店所售图书,保证正版新书,有个别图片和实书封面不一样,以实书封面为准,有需要确定的可以联系客服。我店不能开发票。当天下单第二天发货。
全新
四川省成都市
平均发货33小时
成功完成率83.09%
-
全新
江苏省无锡市
平均发货14小时
成功完成率87.68%
-
全新
河北省保定市
平均发货30小时
成功完成率88.61%
-
全新
江苏省南京市
平均发货6小时
成功完成率96.52%
-
全新
广东省广州市
平均发货7小时
成功完成率93.75%
-
全新
江苏省南京市
平均发货5小时
成功完成率98.34%
-
全新
北京市海淀区
平均发货18小时
成功完成率88.79%
-
2
八五品
北京市朝阳区
平均发货13小时
成功完成率85.02%
-
全新
四川省成都市
平均发货22小时
成功完成率88.56%
-
可能世界的名字
本店所售图书,保证正版新书,有个别图片和实书封面不一样,以实书封面为准,有需要确定的可以联系客服。我店不能开发票。当天下单第二天发货。
全新
四川省成都市
平均发货33小时
成功完成率83.09%
-
全新
广东省广州市
平均发货17小时
成功完成率93.32%
-
全新
广东省广州市
平均发货17小时
成功完成率94.8%
-
全新
广东省广州市
平均发货16小时
成功完成率92.26%
-
全新
北京市海淀区
平均发货16小时
成功完成率88.43%
-
全新
河北省保定市
平均发货28小时
成功完成率85.41%
-
全新
北京市海淀区
平均发货9小时
成功完成率97.74%
-
全新
广东省广州市
平均发货17小时
成功完成率94.43%
-
全新
北京市房山区
平均发货12小时
成功完成率95.88%
-
全新
北京市西城区
平均发货11小时
成功完成率94.01%
-
全新
北京市顺义区
平均发货10小时
成功完成率94.22%
-
全新
广东省广州市
平均发货17小时
成功完成率94.9%
-
全新
北京市通州区
平均发货9小时
成功完成率89.53%
-
全新
河北省保定市
平均发货29小时
成功完成率90.56%
-
全新
北京市西城区
平均发货16小时
成功完成率92.03%
-
全新
-
全新
北京市东城区
平均发货21小时
成功完成率89.19%
-
全新
浙江省嘉兴市
平均发货9小时
成功完成率95.57%
-
可能世界的名字
我店:关于发货:每天下午4点之前的订单,当天下午6点回告快递单号。4点之后的订单第二天下午6点回告快递单号。周六周日不发货。如果是周五下午4点后的订单,周一下午6点回告快递单号。我店产品如下:1有货,2正版,3新书,4发中通,5买家下单后的1-2个工作日发货,6公休日和法定节假日不发货。
全新
北京市西城区
平均发货20小时
成功完成率93.94%
-
全新
天津市河北区
平均发货25小时
成功完成率79.3%
-
全新
河北省保定市
平均发货25小时
成功完成率87.86%
-
全新
山东省潍坊市
平均发货19小时
成功完成率79.38%
-
全新
山东省泰安市
平均发货24小时
成功完成率86.18%
-
全新
江苏省南京市
平均发货14小时
成功完成率83.66%
-
九五品
北京市东城区
平均发货10小时
成功完成率93.81%
-
5
八五品
河南省濮阳市
平均发货7小时
成功完成率97.06%
-
九五品
河北省保定市
平均发货32小时
成功完成率87.78%
-
可能世界的名字
按标题名购买,批量下载图片有时不对应,多本图片为其中一本,有问题请联系客服。
全新
河北省保定市
平均发货28小时
成功完成率89.35%
-
全新
广东省广州市
平均发货9小时
成功完成率90.45%
-
九五品
江苏省南京市
平均发货14小时
成功完成率92.57%