非交換剩余格上的濾子和態(tài)理論及其應用

●第1章 基礎知識
1.1 多值邏輯系統(tǒng)簡介
1.1.1 經(jīng)典命題邏輯系統(tǒng)
1.1.2 多值命題邏輯系統(tǒng)
1.2 偏序集與格
1.2.1 偏序集
1.2.2 格、Boole代數(shù)
1.2.3 理想與濾子
1.3 三角模與剩余格
1.3.1 三角模
1.3.2 剩余格
1.4 偽三角模與非交換剩余格
1.4.1 偽三角模
1.4.2 非交換剩余格
第2章 BL-代數(shù)上的濾子理論
2.1 BL-代數(shù)上的濾子及其特征
2.1.1 BL-代數(shù)的基本性質(zhì)
2.1.2 濾子的基本概念
2.1.3 布爾濾子
2.1.4 蘊涵濾子
2.1.5 正蘊涵濾子
2.1.6 奇異濾子
2.2 BL-代數(shù)上的n重濾子
2.2.1 n重蘊涵濾子
2.2.2 n重正蘊涵濾子
2.2.3 n重奇異濾子
2.2.4 n重布爾濾子
2.3 BL-代數(shù)上的模糊濾子
2.3.1 模糊濾子的基本概念
2.3.2 模糊素濾子
……