泛邏輯學(xué)語構(gòu)理論

《智能科學(xué)技術(shù)著作叢書》序
序
前言
第一章 緒論與預(yù)備知識(shí)
1.1 泛邏輯學(xué)的主要思想
1.2 泛邏輯命題聯(lián)結(jié)詞運(yùn)算模型
1.3 現(xiàn)有部分非經(jīng)典邏輯系統(tǒng)的發(fā)展?fàn)顩r
1.4 偏序集、格與Boole代數(shù)
1.5 經(jīng)典邏輯的命題演算
第二章 泛邏輯運(yùn)算模型的代數(shù)性質(zhì)
2.1 引言
2.2 預(yù)備
2.3 泛邏輯零級(jí)運(yùn)算模型Aε(0，0.75)的代數(shù)性質(zhì)
2.4 泛邏輯零級(jí)運(yùn)算模型Aε(0.75，1)的代數(shù)性質(zhì)
2.5 零級(jí)泛與運(yùn)算模型的表示
2.6 零級(jí)泛或運(yùn)算模型的表示
2.7 泛邏輯一級(jí)運(yùn)算模型的代數(shù)性質(zhì)(一)
2.8 泛邏輯一級(jí)運(yùn)算模型的代數(shù)性質(zhì)(二)
2.9 泛邏輯泛與運(yùn)算譜系
2.10 泛邏輯泛或運(yùn)算譜系
2.11 泛邏輯運(yùn)算模型之間的關(guān)系
第三章 基于泛與運(yùn)算模型的模糊命題邏輯
3.1 引言
3.2 基于冪零泛與運(yùn)算模型的模糊命題邏輯
3.3 基于嚴(yán)格泛與運(yùn)算模型的模糊命題邏輯
3.4 基于一類嚴(yán)格三角范數(shù)的模糊命題邏輯
3.5 命題演算形式演繹系統(tǒng)UBL
3.6 UBL邏輯的幾種擴(kuò)張
3.7 命題演算形式系統(tǒng)SUBL
第四章 理想狀態(tài)下泛邏輯的命題演算系統(tǒng)
4.1 引言
4.2 理想狀態(tài)下泛邏輯的形式演繹系統(tǒng)B
4.3 UB代數(shù)的性質(zhì)
4.4 形式演繹系統(tǒng)B的完備性
第五章 泛邏輯命題演算形式演繹系統(tǒng)
5.1 引言
5.2 UL代數(shù)的主要性質(zhì)
5.3 泛邏輯命題演算形式演繹系統(tǒng)LU
5.4 形式系統(tǒng)LU的完備性
5.5 基于一級(jí)運(yùn)算模型的命題演算形式演繹系統(tǒng)
第六章 集合、邏輯與代數(shù)的三位一體關(guān)系
6.1 引言
6.2 經(jīng)典集合、經(jīng)典邏輯與二值Boole代數(shù)的對(duì)應(yīng)關(guān)系
6.3 模糊集、模糊邏輯與相應(yīng)代數(shù)的對(duì)應(yīng)關(guān)系
6.4 Rough集、Rough邏輯和相應(yīng)代數(shù)的對(duì)應(yīng)關(guān)系
6.5 泛集合、泛邏輯和相應(yīng)代數(shù)的對(duì)應(yīng)關(guān)系
第七章 基于偽t-模的非可換模糊邏輯系統(tǒng)
7.1 引言
7.2 非可換模糊邏輯系統(tǒng)PL
7.3 非可換模糊邏輯系統(tǒng)psBL
7.4 非可換模糊邏輯系統(tǒng)psMTL
參考文獻(xiàn)