多值邏輯的方法和理論：非正規多值邏輯研究

《多值邏輯的方法和理論：非正規多值邏輯研究》是2009年4月1日科學出版社出版的圖書。本書主要講述了各種多值邏輯聯結詞，特別是無窮值邏輯的各種聯結詞及其構造，分析和整理了多值邏輯函式完備性問題的深刻結論。

基本介紹

• 書名：多值邏輯的方法和理論：非正規多值邏輯研究
• ISBN：9787030232472
• 頁數：171頁
• 出版社：科學出版社
• 出版時間：2009年4月1日
• 裝幀：平裝
• 開本：16

內容簡介

《多值邏輯的方法和理論:非正規多值邏輯研究》簡介：現代邏輯學產生以後，邏輯學走向了形式化、數學化的道路，除了經典邏輯，邏輯學中產生了各種非經典邏輯分支，多值邏輯就是其中的重要一支。

《多值邏輯的方法和理論:非正規多值邏輯研究》系統介紹了多值邏輯的思想來源、各種系統及其語義解釋；《多值邏輯的方法和理論:非正規多值邏輯研究》還構造了一類非正規多值邏輯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 抽象代數邏輯的核心理論

參考文獻

會議論文集