同類熱銷排行榜

可能世界的名字(精)

作者：劉新文//祝瑞
出版社：中國社科
ISBN：9787516199626

出版日期：2017/03/01
裝幀：精裝
頁數：162

人民幣：RMB 48 元售價：元

內容大鋼

由劉新文、祝瑞等著的《可能世界的名字(精)》主要有以下內容：第一，比較全面研究了作為模態邏輯新分支的混合邏輯，這些研究對象是以這一族邏輯中的極小系統為主；第二，在介紹可證性邏輯新階段發展成果——核證邏輯的基礎上，建立了混合的核證邏輯的極小系統，解決了國際著名邏輯學家Melvin Fitting在2010年提出的未解決問題。本書中的內容，不僅推動了國際、國內邏輯學界相關問題的研究進展，對於國內哲學界了解可能世界語義學、可證性等哲學概念的發展也具有重要意義。

作者介紹

劉新文//祝瑞

前言
第一章  可能世界的名字
  一  模態邏輯背景
  二  混合邏輯的理論意義
  三  混合邏輯簡史
第二章  基本模態邏輯與時態邏輯
  一  語言與邏輯
  二  關係語義學
  三  正規模態邏輯的公理系統
  四  普通模態語言的表達能力
第三章  基本混合邏輯
  一  基本混合語言
  二  混合語言
  三  混合邏輯
  四  Ku@和Ku
第四章  一般完全性結果
第五章  混合時態邏輯
  一  Past運算元
  二  時態
第六章  混合語言的擴充
  一  強力的模態詞
  二  模態約束詞
第七章  可判定性、複雜性和內插性
第八章  證明方法簡介
  一  預備知識
  二  加標演繹
第九章  后承演算
  一  后承演算SC
  二  后承@-演算
  三  非標準的后承演算
第十章  自然推演系統
  一  普通自然推演系統
  二  布勞納系統
第十一章  表列系統
  一  混雜演算
  二  @-演算
第十二章  消解證明
  一  HyloRes
  二  基於消解的自然推演系統
第十三章  混合的核證邏輯背景
  二  基本混合核證邏輯
  三  進一步的問題
參考文獻
索引

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

可能世界的名字(精)