邏輯中的表列方法

定　價(jià)：￥24.00

作　者：	孔紅著
出版社：	中國(guó)政法大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	社會(huì)科學(xué) 社會(huì)科學(xué)理論

購(gòu)買這本書(shū)可以去

ISBN：	9787562049166	出版時(shí)間：	2013-08-01	包裝：	平裝
開(kāi)本：	32開(kāi)	頁(yè)數(shù)：	236	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　分析表列是20世紀(jì)50年代由Beth與Hintikka等人建立、后由Smullyan加以發(fā)展的一種形式證明方法，基于分析表列方法的邏輯系統(tǒng)稱為表列系統(tǒng)。表列系統(tǒng)與公理系統(tǒng)、自然推理系統(tǒng)一樣，是目前最為流行的邏輯證明方法之一，在自動(dòng)定理證明方面有重要應(yīng)用。表列方法具有通用于各種邏輯的一般性，不僅經(jīng)典命題邏輯和一階謂詞邏輯有其表列，在模態(tài)邏輯、非單調(diào)邏輯等非經(jīng)典邏輯分支中，表列方法也以不同的形式存在著。自20世紀(jì)90年代以來(lái)，人們對(duì)于表列方法的興趣不斷增加，在許多前沿邏輯研究中廣泛采用表列方法。根據(jù)JonBarwise在《什么是一個(gè)邏輯系統(tǒng)？》中對(duì)邏輯系統(tǒng)多樣性的闡述，有理由將表列系統(tǒng)作為與公理系統(tǒng)、自然推演系統(tǒng)等并列的一種重要的邏輯系統(tǒng)類型、將表列法作為一種重要的邏輯方法加以研究。《邏輯中的表列方法》比較系統(tǒng)地介紹了現(xiàn)代邏輯各個(gè)重要分支的表列方法，研究了表列方法的證明效率等問(wèn)題。

作者簡(jiǎn)介

暫缺《邏輯中的表列方法》作者簡(jiǎn)介

圖書(shū)目錄

前言
第一章表列方法及其發(fā)展
第一節(jié) 邏輯證明系統(tǒng)與邏輯語(yǔ)義
一、“正確推理”的兩種定義
二、語(yǔ)言層面的語(yǔ)形和語(yǔ)義
三、邏輯層面的語(yǔ)形和語(yǔ)義
四、邏輯證明系統(tǒng)
五、邏輯證明系統(tǒng)的基本性質(zhì)
第二節(jié) 表列系統(tǒng)
一、邏輯表列的基本思想
二、表列的實(shí)施——樹(shù)
三、表列方法的優(yōu)點(diǎn)
第三節(jié) 表列方法的發(fā)展

第二章命題邏輯的表列方法
第一節(jié) 命題邏輯的形式語(yǔ)言：句法
一、形式語(yǔ)言Lp
二、公式的構(gòu)造樹(shù)
三、Lp-公式的歸納原理和遞歸原理
第二節(jié) 語(yǔ)義：真值指派與賦值
一、真值函數(shù)
二、真值指派與布爾賦值
三、飽和集
第三節(jié) 命題邏輯的Smullyan表列
一、加標(biāo)公式表列
二、不加標(biāo)公式表列
三、統(tǒng)一記法
四、擴(kuò)充系統(tǒng)
第四節(jié) Smullyan命題邏輯表列的可靠性與完全性
一、可靠性
二、完全性
三、流暢性與緊致性
第五節(jié) Smullyan命題邏輯表列的優(yōu)化
一、簡(jiǎn)化Smullyan表列的若干技巧
二、Smullyan表列的冗余問(wèn)題
三、Smullyan表列的優(yōu)化
第六節(jié) 表列系統(tǒng)KE

第三章一階邏輯的表列方法
第一節(jié) 一階邏輯的句法
一、L的初始符號(hào)
二、L-表達(dá)式
三、L-表達(dá)式的唯一可讀性
第二節(jié) 一階邏輯的語(yǔ)義：模型和賦值
一、一階模型和變?cè)概?br /> 二、．Herbrand．模型
第三節(jié) 一階公式的變形及其語(yǔ)義性質(zhì)
一、變?cè)拇?br /> 二、Skolem．公式
三、子句公式
第四節(jié) 一階句子表列
一、一階句子表列
二、一階句子表列的可靠性和完全性
三、一階句子表列的Herbrand優(yōu)化
第五節(jié) 自由變?cè)砹?br /> 一、合一
二、自由變?cè)砹?br /> 第六節(jié) 子句表列
一、析取子句表列
二、蘊(yùn)涵子旬表列

第四章一階等詞理論推理的表列
第一節(jié) 理論和理論推理
一、理論
二、理論推理的基本概念
第二節(jié) 等詞理論推理的表列
一、句子型等詞理論推理表列
二、理論推理的自由變?cè)砹?br /> 三、帶全稱變?cè)睦碚撏评肀砹?br /> 第三節(jié) 理論推理表列的可靠性和完全性
一、可靠性
二、完全性
第四節(jié) 基于Reeves方法的ε-表列的改進(jìn)

第五章模態(tài)邏輯的表列方法
第一節(jié) 模態(tài)邏輯的形式語(yǔ)言和公理系統(tǒng)
一、模態(tài)邏輯的形式語(yǔ)言
二、正規(guī)模態(tài)邏輯的公理系統(tǒng)
第二節(jié) Kripke語(yǔ)義：模型和框架
一、模型和框架
二、模態(tài)公式與和框架性質(zhì)（一階公式）的對(duì)應(yīng)
第三節(jié) 模態(tài)語(yǔ)義圖
一、Kripke語(yǔ)義圖
二、加標(biāo)語(yǔ)義圖
三、D、T、S4、B和S5的語(yǔ)義圖
四、模態(tài)語(yǔ)義圖的可靠性和完全性
第四節(jié) 隱性模態(tài)表列
一、K、D、T、s4的分析性表列
二、B和S5的準(zhǔn)分析性表列
三、Fitting模態(tài)表列系統(tǒng)的可靠性和完全性
四、似矢列演算的模態(tài)表列系統(tǒng)CK、CD、CT、CS4、CB和CS5
第五節(jié) 前綴模態(tài)表列
第六節(jié) Massacci的一步模態(tài)表列SST
第七節(jié) 前綴模態(tài)表列系統(tǒng)KEM
一、前綴
二、前綴的合一
三、KEM表列規(guī)則

第六章非單調(diào)邏輯的表列方法
第一節(jié) 缺省邏輯及其表列方法
一、Reiter的缺省邏輯
二、其他缺省邏輯
三、缺省邏輯的表列方法
第二節(jié) 非單調(diào)模態(tài)邏輯及其表列方法
一、Moore的自認(rèn)知邏輯
二、自認(rèn)知邏輯的表列證明
三、多模態(tài)非單調(diào)邏輯H的表列
第三節(jié) 正常條件句邏輯KLM的表列演算
一、正常條件句邏輯KLM
二、優(yōu)先邏輯P
三、P的擴(kuò)充及其表列演算
第四節(jié) 限定邏輯的表列方法
一、從謂詞限定到公式限定
二、命題限定邏輯表列
三、公式限定邏輯的子句表列
參考文獻(xiàn)
符號(hào)索引