可能世界的名字
出版时间:
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
二 基于消解的自然推演系统
第十三章 混合的核证逻辑背景
二 基本混合核证逻辑
三 进一步的问题
参考文献
索引
查看详情
-
可能世界的名字
本店所售图书,保证正版新书,有个别图片和实书封面不一样,以实书封面为准,有需要确定的可以联系客服。我店不能开发票。当天下单第二天发货。
全新
四川省成都市
平均发货33小时
成功完成率83.39%
-
全新
广东省广州市
平均发货17小时
成功完成率94.78%
-
全新
广东省广州市
平均发货16小时
成功完成率91.96%
-
全新
四川省成都市
平均发货22小时
成功完成率89.63%
-
全新
河北省保定市
平均发货29小时
成功完成率83.27%
-
全新
北京市海淀区
平均发货9小时
成功完成率97.94%
-
全新
广东省广州市
平均发货17小时
成功完成率93.86%
-
全新
北京市房山区
平均发货14小时
成功完成率96.88%
-
全新
北京市西城区
平均发货12小时
成功完成率94.2%
-
全新
天津市西青区
平均发货14小时
成功完成率91.22%
-
全新
天津市河东区
平均发货24小时
成功完成率88.68%
-
全新
北京市顺义区
平均发货10小时
成功完成率94.03%
-
全新
四川省成都市
平均发货10小时
成功完成率95.92%
-
全新
江苏省无锡市
平均发货14小时
成功完成率94.87%
-
全新
广东省广州市
平均发货17小时
成功完成率93.7%
-
全新
北京市通州区
平均发货9小时
成功完成率89.21%
-
全新
四川省成都市
平均发货7小时
成功完成率98.67%
-
全新
河北省保定市
平均发货22小时
成功完成率78.81%
-
全新
河北省保定市
平均发货18小时
成功完成率92.1%
-
全新
江苏省无锡市
平均发货14小时
成功完成率86.92%
-
全新
河北省保定市
平均发货29小时
成功完成率89.26%
-
全新
河北省保定市
平均发货29小时
成功完成率91.11%
-
全新
北京市西城区
平均发货16小时
成功完成率92.14%
-
全新
北京市海淀区
平均发货16小时
成功完成率88.66%
-
全新
北京市房山区
平均发货28小时
成功完成率88.31%
-
全新
江苏省南京市
平均发货5小时
成功完成率98.38%
-
全新
江苏省南京市
平均发货6小时
成功完成率96.52%
-
全新
江苏省无锡市
平均发货8小时
成功完成率96.1%
-
全新
浙江省嘉兴市
平均发货9小时
成功完成率95.48%
-
可能世界的名字
本店所售图书,保证正版新书,有个别图片和实书封面不一样,以实书封面为准,有需要确定的可以联系客服。我店不能开发票。当天下单第二天发货。
全新
四川省成都市
平均发货33小时
成功完成率83.39%
-
全新
浙江省嘉兴市
平均发货13小时
成功完成率95.17%
-
可能世界的名字
我店:关于发货:每天下午4点之前的订单,当天下午6点回告快递单号。4点之后的订单第二天下午6点回告快递单号。周六周日不发货。如果是周五下午4点后的订单,周一下午6点回告快递单号。我店产品如下:1有货,2正版,3新书,4发中通,5买家下单后的1-2个工作日发货,6公休日和法定节假日不发货。
全新
北京市西城区
平均发货22小时
成功完成率93.61%
-
全新
北京市海淀区
平均发货17小时
成功完成率89.64%
-
全新
天津市河北区
平均发货23小时
成功完成率82.15%
-
全新
广东省广州市
平均发货17小时
成功完成率92.92%
-
全新
河北省保定市
平均发货26小时
成功完成率86.18%
-
全新
山东省潍坊市
平均发货18小时
成功完成率81.44%
-
全新
山东省泰安市
平均发货24小时
成功完成率86.24%
-
全新
江苏省南京市
平均发货13小时
成功完成率85.14%
-
九五品
北京市东城区
平均发货9小时
成功完成率94.82%
-
八五品
河南省濮阳市
平均发货7小时
成功完成率96.97%
-
九五品
河北省保定市
平均发货29小时
成功完成率88.56%
-
可能世界的名字
按标题名购买,批量下载图片有时不对应,多本图片为其中一本,有问题请联系客服。
全新
河北省保定市
平均发货28小时
成功完成率88.86%
-
八五品
北京市朝阳区
平均发货11小时
成功完成率87.62%
-
全新
广东省广州市
平均发货7小时
成功完成率94.19%
-
全新
广东省广州市
平均发货7小时
成功完成率91.7%
-
九五品
江苏省南京市
平均发货15小时
成功完成率92.1%
-
全新
河北省保定市
平均发货14小时
成功完成率92.71%
-
八五品
北京市海淀区
平均发货8小时
成功完成率92.06%
-
七品
内蒙古包头市
平均发货16小时
成功完成率96.81%