非交换剩余格上的滤子和态理论及其应用

　　本书系统介绍非交换剩余格上的滤子和态的相关理论及其应用。全书共7章，具体内容包括基础知识、BL－代数上的滤子理论、剩余格上的滤子理论、非交换剩余格上的滤子理论、EQ－代数上的滤子理论、非交换剩余格上的态理论及非交换剩余格上的广义态理论。本书可作为非经典数理逻辑、逻辑代数等基础数学、应用数学和人工智能专业的研究生教材，也可供数学与计算机等相关专业的高年级本科生、教师与科研人员阅读参考。

　　左卫兵，河南内黄人，华北水利水电大学教授、博士生导师，河南省教学标兵，河南省教育厅学术技术带头人，河南省高校青年骨干教师，河南省统计学会常务理事，河南省应用统计学会常务理事。主要从事不确定性推理及统计推断等方面的研究，发表论文60余篇，获河南省科技进步奖2项。

●第1章 基础知识
1.1 多值逻辑系统简介
1.1.1 经典命题逻辑系统
1.1.2 多值命题逻辑系统
1.2 偏序集与格
1.2.1 偏序集
1.2.2 格、Boole代数
1.2.3 理想与滤子
1.3 三角模与剩余格
1.3.1 三角模
1.3.2 剩余格
1.4 伪三角模与非交换剩余格
1.4.1 伪三角模
1.4.2 非交换剩余格
第2章 BL-代数上的滤子理论
2.1 BL-代数上的滤子及其特征
2.1.1 BL-代数的基本性质
2.1.2 滤子的基本概念
2.1.3 布尔滤子
2.1.4 蕴涵滤子
2.1.5 正蕴涵滤子
2.1.6 奇异滤子
2.2 BL-代数上的n重滤子
2.2.1 n重蕴涵滤子
2.2.2 n重正蕴涵滤子
2.2.3 n重奇异滤子
2.2.4 n重布尔滤子
2.3 BL-代数上的模糊滤子
2.3.1 模糊滤子的基本概念
2.3.2 模糊素滤子
……