《智能科学技术著作丛书》序<br>序<br>前言<br>第一章 绪论与预备知识<br>1.1 泛逻辑学的主要思想<br>1.2 泛逻辑命题联结词运算模型<br>1.3 现有部分非经典逻辑系统的发展状况<br>1.4 偏序集、格与Boole代数<br>1.5 经典逻辑的命题演算<br><br>第二章 泛逻辑运算模型的代数性质<br>2.1 引言<br>2.2 预备<br>2.3 泛逻辑零级运算模型Aε（0，0.75）的代数性质<br>2.4 泛逻辑零级运算模型Aε（0.75，1）的代数性质<br>2.5 零级泛与运算模型的表示<br>2.6 零级泛或运算模型的表示<br>2.7 泛逻辑一级运算模型的代数性质（一）<br>2.8 泛逻辑一级运算模型的代数性质（二）<br>2.9 泛逻辑泛与运算谱系<br>2.10 泛逻辑泛或运算谱系<br>2.11 泛逻辑运算模型之间的关系<br><br>第三章 基于泛与运算模型的模糊命题逻辑<br>3.1 引言<br>3.2 基于幂零泛与运算模型的模糊命题逻辑<br>3.3 基于严格泛与运算模型的模糊命题逻辑<br>3.4 基于一类严格三角范数的模糊命题逻辑<br>3.5 命题演算形式演绎系统UBL<br>3.6 UBL逻辑的几种扩张<br>3.7 命题演算形式系统SUBL<br><br>第四章 理想状态下泛逻辑的命题演算系统<br>4.1 引言<br>4.2 理想状态下泛逻辑的形式演绎系统B<br>4.3 UB代数的性质<br>4.4 形式演绎系统B的完备性<br><br>第五章 泛逻辑命题演算形式演绎系统<br>5.1 引言<br>5.2 UL代数的主要性质<br>5.3 泛逻辑命题演算形式演绎系统LU<br>5.4 形式系统LU的完备性<br>5.5 基于一级运算模型的命题演算形式演绎系统<br><br>第六章 集合、逻辑与代数的三位一体关系<br>6.1 引言<br>6.2 经典集合、经典逻辑与二值Boole代数的对应关系<br>6.3 模糊集、模糊逻辑与相应代数的对应关系<br>6.4 Rough集、Rough逻辑和相应代数的对应关系<br>6.5 泛集合、泛逻辑和相应代数的对应关系<br><br>第七章 基于伪t-模的非可换模糊逻辑系统<br>7.1 引言<br>7.2 非可换模糊逻辑系统PL<br>7.3 非可换模糊逻辑系统psBL<br>7.4 非可换模糊逻辑系统psMTL<br>参考文献
展开
