亚洲色无码专区在线播放,刺激花蒂抽搐视频在线看

內(nèi)容簡介

　　現(xiàn)代邏輯學(xué)產(chǎn)生以后，邏輯學(xué)走向了形式化、數(shù)學(xué)化的道路，除了經(jīng)典邏輯，邏輯學(xué)中產(chǎn)生了各種非經(jīng)典邏輯分支，多值邏輯就是其中的重要一支。本書系統(tǒng)介紹了多值邏輯的思想來源、各種系統(tǒng)及其語義解釋；闡述了各種多值邏輯聯(lián)結(jié)詞，特別是無窮值邏輯的各種聯(lián)結(jié)詞及其構(gòu)造，分析和整理了多值邏輯函數(shù)完備性問題的深刻結(jié)論；本書還構(gòu)造了一類非正規(guī)多值邏輯L*的命題和謂詞系統(tǒng)，并證明了其元邏輯性質(zhì)；介紹了與多值邏輯有關(guān)的代數(shù)系統(tǒng)，另外，對抽象代數(shù)邏輯的一些結(jié)果給以介紹，這是研究多值邏輯的一個重要方法。本書在對一類非正規(guī)多值邏輯進行研究的同時，力圖全面地展示多值邏輯研究的理論成果，可供邏輯學(xué)、數(shù)學(xué)、計算機科學(xué)、哲學(xué)及相關(guān)專業(yè)的研究人員、大學(xué)教師參閱。

作者簡介

暫缺《多值邏輯的理論和方法：非規(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 鞠實兒的開放類邏輯
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ù)完備性問題的幾個主要定理
2.3.2 不完備的多值聯(lián)結(jié)詞的判定
3 多值邏輯的公理化、系統(tǒng)化
3.1 一個函數(shù)完備的m值邏輯系統(tǒng)
3.2 一個函數(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ù)邏輯的核心理論
參考文獻
會議論文集