可能世界的名字
出版时间:
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
二 基于消解的自然推演系统
第十三章 混合的核证逻辑背景
二 基本混合核证逻辑
三 进一步的问题
参考文献
索引
查看详情
-
2
八五品
内蒙古包头市
平均发货14小时
成功完成率95.61%
-
3
八品
内蒙古包头市
平均发货14小时
成功完成率95.61%
-
全新
广东省广州市
平均发货7小时
成功完成率89.39%
-
全新
河北省保定市
平均发货19小时
成功完成率82.38%
-
全新
北京市朝阳区
平均发货12小时
成功完成率92.77%
-
全新
北京市昌平区
平均发货37小时
成功完成率71.67%
-
可能世界的名字
95品为库存书,自然折旧,内页新的,非二手无笔记无阅读痕迹
九五品
河北省保定市
平均发货9小时
成功完成率94.69%
-
全新
北京市丰台区
平均发货25小时
成功完成率84.73%
-
可能世界的名字
本店所售图书,系正版库存图书,品相95左右,请书友惧拍
全新
北京市房山区
平均发货23小时
成功完成率74.3%
-
全新
天津市和平区
平均发货24小时
成功完成率81.62%
-
九品
河北省保定市
平均发货41小时
成功完成率55.32%
-
全新
河北省保定市
平均发货41小时
成功完成率55.32%
-
可能世界的名字
正版图书。概不议价!请勿催单!急单勿拍!!!套装书请咨询后再拍。小本生意,经营不易,喜欢申请违约金和退款的同行与书友请绕行
全新
湖南省邵阳市
平均发货3小时
成功完成率85.85%
-
九五品
北京市海淀区
平均发货23小时
成功完成率65.12%
-
全新
山东省泰安市
平均发货16小时
成功完成率84.31%
-
全新
浙江省杭州市
平均发货28小时
成功完成率82.8%
-
全新
河北省保定市
平均发货28小时
成功完成率48.94%
-
全新
重庆市綦江区
平均发货14小时
成功完成率84.99%
-
九五品
江苏省南京市
平均发货18小时
成功完成率90.91%
-
全新
河北省保定市
平均发货26小时
成功完成率83.57%
-
全新
河北省保定市
平均发货15小时
成功完成率87.07%
-
2
九五品
北京市石景山区
平均发货13小时
成功完成率96.41%
-
全新
上海市浦东新区
平均发货26小时
成功完成率79.83%
-
可能世界的名字
由刘新文、祝瑞等*的《可能世界的名字(精)》主要有以下内容:**,比较全面研究了作为模态逻辑新分支的混合逻辑,这些研究对象是以这一族逻辑中的*小系统为主
九品
-
九五品
-
4
2017-03 印刷
九五品
天津市南开区
平均发货13小时
成功完成率100%