-
自从布尔代数作为经典二值逻辑所对应的代数系统被提出以来，各种不同逻辑系统所对应的代数系统受到研究人员的广泛关注，并取得了大量的研究成果.在信息科学、计算机科学、控制理论、人工智能等很多重要的领域中，逻辑代数是其推理机制的代数基础.为给不确定信息处理理论提供可靠且合理的逻辑基础，许多学者提出并研究了非经典逻辑系统.目前，大多数学者都认同非交换剩余格为一种最广泛的非可换逻辑代数结构，其中伪BL代数、伪MV代数、伪MTL代数等[1-3]均是非交换剩余格的特殊情况.而滤子是非经典逻辑代数研究领域的一个重要概念，它对各种逻辑系统及与之匹配的逻辑代数的完备性问题的研究发挥着极其重要的作用.近几年，学者们已经在各种逻辑代数框架下提出了多种滤子概念，并获得了许多有价值的研究结果.文献[4]通过讨论模糊正规滤子和模糊布尔滤子之间的关系，解决了伪BL代数上的公开问题.文献[5]研究了剩余格上几类模糊滤子的性质，使剩余格上滤子的结构研究更为清楚.文献[6]在非交换剩余格上引入了子模糊弱布尔滤子的概念，并研究了其特征刻画.因此，在众多滤子理论研究的基础上系统地分析出各种滤子概念之间的相互关系及层次结构就显得尤为重要[7-10].基于此目的，本文运用模糊集的运算方法和原理，在非交换剩余格上引入了模糊极滤子的概念，并研究了其表示定理和特征性质，获得了在一定条件下非交换剩余格上模糊极滤子与模糊子正蕴涵滤子相互等价的结论.研究结果不但使非交换剩余格上的模糊滤子理论得到进一步充实和丰富，还使得概念间的层次关系更加的清晰和完善，而且为研究基于非交换剩余格的逻辑系统的结构特征提供了理论基础.
全文HTML
-
下面先给出本文将用到的几个定义.
定义1[5] 称(2，2，2，2，2，0，0)-型代数L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)为非交换剩余格，若以下条件成立：(a) (M，∧，∨，0，1)是有界格；
(b) (M，⊗，1)是以1为单位元的半群；
(c) 对任意的x，y，z∈M，x⊗y≤z⇔x≤y→z⇔y≤x
$\circlearrowleft$ z.性质1[5] 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是一个非交换剩余格，对于任意的x，y，z∈M，下列性质成立：(1°) x≤y⇔x→y=1⇔x
$\circlearrowleft$ y=1；(2°) x→x=x
$\circlearrowleft$ x=1，1→x=1$\circlearrowleft$ x=x，x→1=x$\circlearrowleft$ 1=1；(3°) x≤(x→y)
$\circlearrowleft$ y，x≤(x$\circlearrowleft$ y)→y；(4°) x→(y
$\circlearrowleft$ z)=y$\circlearrowleft$ (x→z)；(5°)若x≤y，则x⊗z≤y⊗z且z⊗x≤z⊗y；
(6°)若x≤y，则z→x≤z→y且z
$\circlearrowleft$ x≤z$\circlearrowleft$ y；(7°)若x≤y，则y→z≤x→z且y
$\circlearrowleft$ z≤x$\circlearrowleft$ z；(8°) x→y≤(z→x)→(z→y)，x
$\circlearrowleft$ y≤(z$\circlearrowleft$ x)$\circlearrowleft$ (z$\circlearrowleft$ y)；(9°) x→y≤(y→z)
$\circlearrowleft$ (x→z)，x$\circlearrowleft$ y≤(y$\circlearrowleft$ z)→(x$\circlearrowleft$ z)；(10°) (x⊗y)
$\circlearrowleft$ z=y$\circlearrowleft$ (x$\circlearrowleft$ z)，(x⊗y)→z=x→(y→z)；(11°) x∨y≤((x→y)
$\circlearrowleft$ y)∧((y→x)$\circlearrowleft$ x)，x∨y≤((x$\circlearrowleft$ y)→y)∧((y$\circlearrowleft$ x)→x).注1 在本文中，我们将用L代表一个非交换剩余格，并约定运算∨，∧，⊗优先于运算→，
$\circlearrowleft$ .定义2[7] 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)为非交换剩余格，μ：L[0, 1]为L上的模糊集，如果对于任意的x，y∈L，有(a) μ(1)≥μ(x)；
(b) μ(x)∧μ(x→y)≤μ(y)(或μ(x)∧μ(x
$\circlearrowleft$ y)≤μ(y)).则μ为L上的模糊滤子.
性质2[7] 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)为非交换剩余格，μ为L上的模糊滤子，对于任意的x，y，z∈L，下列性质成立：(1°)如果x≤y，则μ(x)≤μ(y)，即μ是保序的；
(2°)如果x→(y→z)=1或x
$\circlearrowleft$ (y$\circlearrowleft$ z)=1，则μ(z)≥μ(x)∧μ(y)；(3°)如果μ(x→y)=μ(1)或μ(x
$\circlearrowleft$ y)=μ(1)，则μ(x)≤μ(y)；(4°) μ(y⊗x)=μ(x∧y)=μ(x)∧μ(y)，μ(0)=μ(x)∧μ(x→0)；
(5°) μ(x→z)≥μ(y→z)∧μ(x→y)，μ(x
$\circlearrowleft$ z)≥μ(y$\circlearrowleft$ z)∧μ(x$\circlearrowleft$ y).定义3[8] 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，F是L上的非空子集，如果对于任意的x，y，z∈L，满足下列条件(a)，(b)或条件(a)，(c)：(a) 1∈F；
(b) z→(y
$\circlearrowleft$ x)∈F，z∈F蕴涵((x$\circlearrowleft$ y)→y)$\circlearrowleft$ x∈F；(c) z
$\circlearrowleft$ (y→x)∈F，z∈F蕴涵((x→y)$\circlearrowleft$ y)→x∈F.则称集合F是L上的极滤子.
定义4[6] 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，F是L上的非空子集，对于任意的x，y，z∈L，如果满足下列条件(a)，(b)或条件(a)，(c)：(a) 1∈F；
(b) ((x→y)⊗z)
$\circlearrowleft$ ((y$\circlearrowleft$ x)→x)，z∈F蕴涵((x→y)$\circlearrowleft$ y)∈F；(c) (z⊗(x
$\circlearrowleft$ y))→((y→x)$\circlearrowleft$ x)，z∈F蕴涵((x$\circlearrowleft$ y)→y)∈F.则称集合F是L上的子正蕴涵滤子.
利用非交换剩余格上滤子与模糊滤子的关系，我们给出非模糊子正蕴涵滤子和模糊极滤子的概念.
定义5 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，μ是L上的模糊集，对于任意的x，y，z∈L，如果满足下列条件(a)，(b)或条件(a)，(c)：(a) μ(1)≥μ(x)；
(b) μ((x→y)
$\circlearrowleft$ y)≥μ(((x→y)⊗z)$\circlearrowleft$ ((y$\circlearrowleft$ x)→x))∧μ(z)；(c) μ((x
$\circlearrowleft$ y)→y)≥μ((z⊗(x$\circlearrowleft$ y))→((y→x)$\circlearrowleft$ x))∧μ(z).则称μ是L上的模糊子正蕴涵滤子.
定义6 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，μ是L上的模糊集，对于任意的x，y，z∈L，如果满足下列条件(a)，(b)或条件(a)，(c)：(a) μ(1)≥μ(x)；
(b) μ(((x
$\circlearrowleft$ y)→y)$\circlearrowleft$ x)≥μ(z→(y$\circlearrowleft$ x))∧μ(z)；(c) μ(((x→y)
$\circlearrowleft$ y)→x)≥μ(z$\circlearrowleft$ (y→x))∧μ(z).则称μ是L上的模糊极滤子.
-
引理1 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，对于任意的x，y，z∈L，有证 对于任意的x，y，z∈L，由性质1中(3°)和(4°)可知
引理2 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，模糊集μ是L上的模糊滤子，对于任意的x，y∈L，下列条件等价：(ⅰ)模糊滤子μ是L上的模糊极滤子；
(ⅱ) μ(y
$\circlearrowleft$ x)≤μ(((x$\circlearrowleft$ y)→y)$\circlearrowleft$ x)；(ⅲ) μ(y→x)≤μ(((x→y)
$\circlearrowleft$ y)→x).证 (ⅰ)⇒(ⅱ)因为模糊滤子μ是非交换剩余格L上的模糊极滤子，则
令z=1，即可得
(ⅱ)⇒(ⅰ)因为模糊集μ是L上的模糊滤子，故由定义2可得μ(1)≥μ(x).又因为
从而由定义6可得：模糊滤子μ是非交换剩余格L上的模糊极滤子.
同理可证(ⅰ)与(ⅲ)相互等价，综上可知结论成立.
引理3 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，模糊集μ是L上的模糊滤子，对于任意的x，y，z∈L，下列条件等价：(ⅰ)模糊滤子μ是L上的模糊子正蕴涵滤子；
(ⅱ)μ(y)≥μ((y→z)
$\circlearrowleft$ (x→y))∧μ(x)；(ⅲ)μ(y)≥μ((y
$\circlearrowleft$ z)→(x$\circlearrowleft$ y))∧μ(x).证 (ⅰ)⇒(ⅱ)对于任意的y，z∈L，因为z→(y→z)=1，因此由性质1可知z≤y→z，从而(y→z)
$\circlearrowleft$ y≤z$\circlearrowleft$ y.再由性质2可得又因为
因此
而又因为
则
(ⅱ)⇒(ⅰ)对于任意的x，y∈L，因为
故有
则
又因为
故
从而可得
则
又因为
因此
即
故
即满足定义5(b).由于μ是L上的模糊滤子，因此μ(x)≤μ(1).综上可得μ是L上的模糊子正蕴涵滤子.
同理可证(ⅰ)与(ⅲ)相互等价.综上可知结论成立.
引理4 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，模糊集μ是L上的模糊滤子，则对于任意的x，y∈L，下列条件等价：(ⅰ) μ是L上的模糊子正蕴涵滤子；
(ⅱ) μ((x→y)
$\circlearrowleft$ x)=μ(x)；(ⅲ) μ((x
$\circlearrowleft$ y)→x)=μ(x).证 (ⅰ)⇒(ⅱ)因为μ是L上的模糊子正蕴涵滤子，由引理3可知
另一方面，对于任意的x，y∈L，有
从而
则
(ⅱ)⇒(ⅰ)因为
即
由引理3可得μ是L上的模糊子正蕴涵滤子.
同理可证(ⅰ)与(ⅲ)相互等价，综上可知结论成立.
定理1 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，模糊集φ，δ都是L上的模糊滤子，且满足φ≤δ，φ(1)=δ(1)，则当φ是L上的模糊极滤子时，δ也是L上的模糊极滤子.证 对于任意的x，y∈L，因为
即
又因为φ是L上的模糊极滤子，且满足φ≤δ，φ(1)=δ(1)，故由引理2可得
即
结合定义2(a)可得
从而
又因为
结合定义2(a)可得
从而
则
由引理2可知δ也是L上的模糊极滤子.
定理2 设L=(M，∧，∨，⊗，→，
$\circlearrowleft$ ，0，1)是非交换剩余格，模糊集μ是L上的模糊滤子，若μ是L上的模糊子正蕴涵滤子，则μ也是L上的模糊极滤子.证 对于任意的x，y∈L，因为
则
又因为模糊滤子μ是L上的模糊子正蕴涵滤子，故由引理4可得
综上可知
即由引理2可得μ是L上的模糊极滤子.
-
滤子是研究逻辑代数的有效工具，文章在非交换剩余格中引入了模糊极滤子的概念，通过研究其特征及性质，获得了模糊极滤子的等价刻画.在下一步的工作中，我们将继续研究非交换剩余格上的其它模糊滤子的特征及性质，使其为我们深入研究非交换剩余格的结构奠定基础.
下载: