泛邏輯學語構理論

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