多值邏輯的理論和方法：非規(guī)范多值邏輯研究

前言
1 導(dǎo)論
1.1 多值邏輯思想簡史
1.2 經(jīng)典多值邏輯的語義
1.2.1 Lukasiewicz三值邏輯的語義
1.2.2 Post邏輯的語義解釋
1.2.3 Kleene三值邏輯及其語義
1.2.4 Bochvar邏輯及語義
1.3 鞠實(shí)兒的開放類邏輯
1.3.1 開放類與知識處理
1.3.2 Hume問題與開放類的邏輯特征
1.3.3 SLO形式公理系統(tǒng)
2 多值邏輯聯(lián)結(jié)詞及其判定問題
2.1 預(yù)備知識和基本概念
2.1.1 預(yù)備知識
2.1.2 真值集
2.1.3 基本概念
2.2 多值邏輯的幾類主要聯(lián)結(jié)詞
2.2.1 正規(guī)的多值邏輯的幾類聯(lián)結(jié)詞
2.2.2 幾種非正規(guī)的多值邏輯
2.3 函數(shù)完備性問題
2.3.1 函數(shù)完備性問題的幾個(gè)主要定理
2.3.2 不完備的多值聯(lián)結(jié)詞的判定
3 多值邏輯的公理化、系統(tǒng)化
3.1 一個(gè)函數(shù)完備的m值邏輯系統(tǒng)
3.2 一個(gè)函數(shù)完備的三值邏輯系統(tǒng)
3.3 L*的一階謂詞邏輯系統(tǒng)
3.3.1 公理模式
3.3.2 推理規(guī)則
4 多值邏輯的代數(shù)語義
4.1 幾種多值邏輯的代數(shù)
4.1.1 Moisil代數(shù)和Post代數(shù)
4.1.2 MV代數(shù)
4.1.3 L*公理系統(tǒng)的代數(shù)性質(zhì)
4.1.4 L*代數(shù)與三值Post代數(shù)的關(guān)系
4.2 抽象代數(shù)邏輯方法
4.2.1 邏輯、矩陣和代數(shù)的基本概念
4.2.2 Frege原則和Lindenbaum-Tarski方法的推廣
4.2.3 抽象代數(shù)邏輯的核心理論
參考文獻(xiàn)
會議論文集