目錄
第1章 預備知識
1.1 偏序集與格
1.2 範疇
1.3 拓撲空間
第2章 單位區間上的聚合運算元
2.1 單位區間上的三角模和三角余模
2.2 單位區間上的一致模
2.3 單位區間上的重疊函數和分組函數
第3章 有界格上的一致模
3.1 有界格上三角模的序和構造
3.2 三角模範疇的Cartesian閉性
3.3 有界格上一致模的概念
3.4 有界格上一致模誘導的U-偏序關係
3.5 U-偏序關係誘導的等價關係
3.6 有界格上一致模的構造
3.6.1 有界格上基於閉包運算元的一致模構造
3.6.2 有界格上基於內部運算元的一致模構造
第4章 有界格上的重疊運算元與分組運算元
4.1 完備格上的擬重疊(分組)運算元
4.2 完備格上的J-重疊(分組)運算元
4.2.1 完備格上J-重疊(分組)運算元的概念
4.2.2 完備格上J-重疊(分組)運算元的性質
4.3 完備格上J-重疊運算元的序和構造
4.3.1 完備格上CR-重疊運算元的序和構造
4.3.2 完備格上CL-重疊運算元的序和構造
4.4 完備格上J-重疊(分組)運算元的乘法生成子
4.4.1 完備格上J-重疊運算元的乘法生成子
4.4.2 完備格上J-分組運算元的乘法生成子
4.4.3 完備格上乘法生成J-重疊運算元的性質
4.5 有界偏序集上重疊運算元的概念與性質
4.6 有界偏序集上重疊運算元的構造
第5章 單位區間上的蘊涵運算元
5.1 BDKM-序和蘊涵的概念與性質
5.2 BDKM-序和蘊涵關於三角(余)模的分配性方程
5.2.1 BDKM-序和蘊涵關於方程(a)的解
5.2.2 BDKM-序和蘊涵關於方程(b)的解
5.2.3 BDKM-序和蘊涵關於方程(c)的解
5.2.4 BDKM-序和蘊涵關於方程(d)的解
5.3 DK-序和蘊涵關於三角(余)模的分配性方程
5.3.1 DK-序和蘊涵關於方程(a)的解
5.3.2 DK-序和蘊涵關於方程(b)的解
5.3.3 DK-序和蘊涵關於方程(c)的解
5.3.4 DK-序和蘊涵關於方程(d)的解
5.4 (I,B)-蘊涵運算元
5.4.1 (I,B)-蘊涵運算元的性質
5.4.2 JB的Quantic格結構
5.4.3 (I,B)-蘊涵運算元的廣義重言式
第6章 格值蘊涵運算元
6.1 格值蘊涵運算元的補序和構造
6.2 格值蘊涵運算元的BDKM-序和構造
6.3 一致模誘導的格值蘊涵運算元
6.3.1 (U,N)-蘊涵
6.3.2 RU蘊涵
6.3.3 一致模誘導的QL蘊涵
6.4 完備格上基於CL-重疊運算元的格值剩餘蘊涵
6.4.1 格值剩餘蘊涵運算元的概念及性質
6.4.2 RO蘊涵與CL-重疊運算元之間的一一對應
6.5 格值蘊涵運算元的範疇性質
參考文獻
索引
[