模糊广义正则蕴涵代数

模糊蕴涵代数是取值于[0,1]区间上的模糊逻辑系统的一种代数抽象。通过引入模糊广义正则蕴涵代数的概念,对其性质进行了讨论,并给出了广义正则模糊蕴涵代数的一些等价刻画。

正则FI代数的MP滤子与同构基本定理

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数,它是BR0-代数和BL-代数的基础逻辑代数。基于经典代数的思想和方法,讨论了正则FI-代数的MP滤子与同构基本定理。引入正则FI-代数中MP滤子的概念,并讨论了其基本性质,给出了正则FI-代数中包含任意子集的最小MP滤子的构造方法;讨论了正则FI-代数的MP滤子和同余关系之间的内在联系;给出了正则FI-代数的同构基本定理。