性行为视频在线观看无码,另类亚洲图片小说区2019

內(nèi)容簡介

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

作者簡介

暫缺《可能世界的名字》作者簡介

圖書目錄

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