圖書信息
書名：多值邏輯的方法和理論
出版社: 科學出版社; 第1版 (2009年4月1日)
平裝: 171頁
正文語種: 簡體中文
開本: 16
isbn: 9787030232472
條形碼: 9787030232472
商品尺寸: 23.4 x 16.4 x 1.2 cm
商品重量: 340 g
品牌: 科學出版社有限責任公司
內容簡介
《多值邏輯的方法和理論:非正規多值邏輯研究》簡介：現代邏輯學產生以後，邏輯學走向了形式化、數學化的道路，除了經典邏輯，邏輯學中產生了各種非經典邏輯分支，多值邏輯就是其中的重要一支。《多值邏輯的方法和理論:非正規多值邏輯研究》系統介紹了多值邏輯的思想來源、各種系統及其語義解釋；闡述了各種多值邏輯聯結詞，特別是無窮值邏輯的各種聯結詞及其構造，分析和整理了多值邏輯函式完備性問題的深刻結論；《多值邏輯的方法和理論:非正規多值邏輯研究》還構造了一類非正規多值邏輯L*的命題和謂詞系統，並證明了其元邏輯性質；介紹了與多值邏輯有關的代數系統，另外，對抽象代數邏輯的一些結果給以介紹，這是研究多值邏輯的一個重要方法。
圖書目錄
前言
1 導論
1.1 多值邏輯思想簡史
1.2 經典多值邏輯的語義
1.2.1 Lukasiewicz三值邏輯的語義
1.2.2 Post邏輯的語義解釋
1.2.3 Kleene三值邏輯及其語義
1.2.4 Bochvar邏輯及語義
1.3鞠實兒的開放類邏輯
1.3.1 開放類與知識處理
1.3.2 Hume問題與開放類的邏輯特徵
1.3.3 SLO形式公理系統
2 多值邏輯聯結詞及其判定問題
2.1 預備知識和基本概念
2.1.1 預備知識
2.1.2 真值集
2.1.3 基本概念
2.2 多值邏輯的幾類主要聯結詞
2.2.1 正規的多值邏輯的幾類聯結詞
2.2.2 幾種非正規的多值邏輯
2.3 函式完備性問題
2.3.1 函式完備性問題的幾個主要定理
2.3.2 不完備的多值聯結詞的判定
3 多值邏輯的公理化、系統化
3.1 一個函式完備的m值邏輯系統
3.2 一個函式完備的三值邏輯系統
3.3 L*的一階謂詞邏輯系統
3.3.1 公理模式
3.3.2 推理規則
4 多值邏輯的代數語義
4.1 幾種多值邏輯的代數
4.1.1 Moisil代數和Post代數
4.1.2 MV代數
4.1.3 L*公理系統的代數性質
4.1.4 L*代數與三值Post代數的關係
4.2 抽象代數邏輯方法
4.2.1 邏輯、矩陣和代數的基本概念
4.2.2 Frege原則和Lindenbaum-Tarski方法的推廣
4.2.3 抽象代數邏輯的核心理論
參考文獻
會議論文集
