FI代數(shù)的模糊素MP濾子與模糊超MP濾子

劉春輝

1.赤峰學(xué)院 教務(wù)處，內(nèi)蒙古 赤峰 024001

2.赤峰學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，內(nèi)蒙古 赤峰 024001

FI代數(shù)的模糊素MP濾子與模糊超MP濾子

劉春輝

1.赤峰學(xué)院 教務(wù)處，內(nèi)蒙古 赤峰 024001

2.赤峰學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，內(nèi)蒙古 赤峰 024001

1 引言

Fuzzy蘊(yùn)涵代數(shù)（簡(jiǎn)稱(chēng)：FI代數(shù)）是由我國(guó)學(xué)者吳望名于1990年提出的，作為對(duì)非經(jīng)典邏輯代數(shù)中“蘊(yùn)涵”連接詞的代數(shù)化，它揭示了各種邏輯蘊(yùn)涵算子的共同本質(zhì)[1]。眾多的邏輯代數(shù)系統(tǒng)，如MV代數(shù)（格蘊(yùn)涵代數(shù)）、BL代數(shù)、R0代數(shù)（NM代數(shù)）、有界BCK代數(shù)以及剩余格等都可以看成是FI代數(shù)的特例，因此對(duì)FI代數(shù)結(jié)構(gòu)的研究具有廣泛而基本的重要意義。迄今為止，有關(guān)這方面的研究工作已經(jīng)獲得了很多有價(jià)值的研究成果[2-7]。

自從20世紀(jì)60年代美國(guó)著名的控制論專(zhuān)家Zadeh首次提出模糊集[8]的概念以來(lái)，模糊集的思想和方法已經(jīng)被有效地應(yīng)用于各個(gè)學(xué)科領(lǐng)域。近年來(lái)，國(guó)內(nèi)外學(xué)者將這一思想和運(yùn)算方法引入到邏輯代數(shù)的理想和濾子概念的研究，提出了多種形式的模糊理想和模糊濾子概念，并針對(duì)它們的特性和相互關(guān)系做了許多重要的研究工作，提出了大量有意義的研究課題并獲得了一批優(yōu)秀的研究成果[9-14]。為了進(jìn)一步揭示FI代數(shù)的結(jié)構(gòu)特征，文獻(xiàn)[15]在FI代數(shù)中引入了多種模糊MP濾子概念，并對(duì)它們的性質(zhì)和相互關(guān)系進(jìn)行了細(xì)致的探討，以此為基礎(chǔ)，本文繼續(xù)對(duì)FI代數(shù)的模糊MP濾子概念作深入研究，引入模糊素MP濾子和模糊超MP濾子概念并考察其特性，獲得了一些有意義的結(jié)果。

2 預(yù)備知識(shí)

定義1[1]（Fuzzy蘊(yùn)涵代數(shù)）（2，0）型代數(shù)(X，→，0)稱(chēng)為Fuzzy蘊(yùn)涵代數(shù)，簡(jiǎn)稱(chēng)FI代數(shù)，若 x，y，z∈X

FI-1：x→(y→z)=y→(x→z)；

FI-2：(x→y)→((y→z)→(x→z))=1；

為了敘述簡(jiǎn)潔，以下如無(wú)特別說(shuō)明，X均表示FI代數(shù)。文獻(xiàn)[1]在 X上定義了一個(gè)偏序關(guān)系≤使得x≤y?x→y=1，?x，y∈X 。同時(shí)，定義一元運(yùn)算 c:X→X 使得c(x)=x→0。

引理1[1]任意 x，y，z∈X，下列結(jié)論成立：

FI-（2）如果x≤y，則z→x≤z→y且y→z≤x→z。

定義2[7]設(shè) X為FI代數(shù)，若(X，≤)構(gòu)成并半格，即?x，y∈X，x∨y都存在，則稱(chēng) X為并半格FI代數(shù)。如果并半格FI代數(shù)X滿足：

則稱(chēng)X為滿足條件(S)的并半格FI代數(shù)。

引理2[4]設(shè) X為并半格FI代數(shù)，則對(duì)任意的 x，y∈X，(x∨y)→y=x→y。

定義3[7]設(shè)?≠F?X，如果（1）1∈F 且（2）?x，y∈X，x，x→y∈F?y∈F，則稱(chēng) F是 X的 MP濾子。X 的全體MP濾子之集記為FMP(X)。

定義4[7]設(shè)X為一個(gè)并半格FI代數(shù)，X≠P∈FMP(X)，如果 ?x，y∈X，x∨y∈P蘊(yùn)涵 x∈P或 y∈P，則稱(chēng) F 是X的素MP濾子。

引理3[7]設(shè) X為滿足條件(S)的并半格FI代數(shù)，則X≠P∈FMP(X)是 X的素 MP濾子當(dāng)且僅當(dāng)?x，y∈X，x→y∈P或 y→x∈P。

引理4[7（]素MP濾子定理）設(shè)X為并半格FI代數(shù)，S?X對(duì)∨關(guān)閉，F(xiàn)∈FMP(X)且 F∩S=?。則存在 X的素MP濾子P使得F?P且P∩S=?。

引理5[7]設(shè) X為并半格FI代數(shù)，如果 F∈FMP(X)且x?F。則存在X的素MP濾子P使得F?P且x?P。

定義5[9]非空集合X上的一個(gè)模糊集指的是映射μ:X→[0，1]。設(shè) μ是 X上模糊集，稱(chēng)集合 μt={x∈X| μ(x)≥ t}，?t∈[0，1]為 μ的 t截集。

設(shè)μ和v為非空集合 X上的兩個(gè)模糊集，定義 μ和v之間的模糊包含關(guān)系?如下：

μ?v當(dāng)且僅當(dāng) μ(x)≤v(x)，?x∈X

定義6[15]設(shè) X為FI代數(shù)，稱(chēng) X上的模糊集μ為X的模糊MP濾子，如果

注1設(shè) X為FI代數(shù)，μ為 X的模糊MP濾子，則x≤y蘊(yùn)涵 μ(x)≤μ(y)，即 μ是保序的。

引理6[8]X上的模糊集μ為X的模糊MP濾子當(dāng)且僅當(dāng) ?t∈[0，1]，μt=? 或 μt∈FMP(X)。

引理7[8]設(shè) X為FI代數(shù)，則 X上的模糊集 μ為 X的模糊 MP濾子當(dāng)且僅當(dāng) x→(y→z)=1蘊(yùn)涵 μ(z)≥min{μ(x)，μ(y)}，?x，y，z∈ X 。

3 FI代數(shù)的模糊素MP濾子

定義7設(shè) X為FI代數(shù)，μ為X的非常值的模糊MP 濾子。如果 ?t∈[0，1]，μt=? 或當(dāng) μt≠X 時(shí)，μt為X的素MP濾子，則稱(chēng)μ為X的模糊素MP濾子。

定理1設(shè)X為并半格FI代數(shù)，則X的非常值模糊MP濾子μ為X的模糊素MP濾子當(dāng)且僅當(dāng)對(duì)任意的x，y∈X，μ滿足：

證明設(shè)μ是 X的非常值的模糊MP濾子且滿足條件（FPF1）。對(duì)任意的 t∈[0，1]，若 μt≠?，則由引理6可知 μt∈FMP(X)。若 μt≠X 且 x∨ y∈ μt，則 μ(x∨y)≥t，于是由（FPF1）知：

從而 μ(x)≥t或 μ(y)≥t，進(jìn)而 x∈μt或 y∈μt，故由定義4知 μt為 X的素 MP濾子。因此 μ為 X的模糊素 MP濾子。

反之，設(shè) μ為 X的模糊素 MP濾子。令t=μ(x∨y)，則 x∨y∈μt，故由引理6知 μt∈FMP(X)。若 μt=X，則x，y∈μt，從而 μ(x)≥t=μ(x∨y)且 μ(y)≥t=μ(x∨y)，因此max{μ(x)，μ(y)}≥μ(x∨y)。若 μt≠X，則由題設(shè)條件知 μt為 X的素 MP濾子。因此 x∨y∈μt蘊(yùn)涵 x∈μt或 y∈μt，從而 μ(x)≥t=μ(x∨y)且 μ(y)≥t=μ(x∨y)，進(jìn)而亦有max{μ(x)，μ(y)}≥μ(x∨y)。因此（FPF1）。

注2設(shè)X為并半格FI代數(shù)，μ為X的非常值的模糊MP濾子。則由模糊MP濾子的保序性可知定理1中的條件（FPF1）等價(jià)于：

例1 設(shè) X={0，a，b，1}且 0＜a＜b＜1，定義 X 上二元運(yùn)算“→1”如表1所示。則利用如圖1所示的MATHEMATICA程序可驗(yàn)證(X，→1，0)是一個(gè)FI代數(shù)。

表1 運(yùn)算“→1”的定義

在 X 上定義模糊集 μ使得 μ(0)=μ(a)=0.2，μ(b)= 0.4，μ(1)=0.6，則容易驗(yàn)證 μ是 X的一個(gè)模糊素 MP濾子。

圖1 驗(yàn)證FI代數(shù)的MATHEMATICA程序

定理2設(shè)X為并半格FI代數(shù)，則X的非常值模糊MP濾子μ為 X的模糊素MP濾子當(dāng)且僅當(dāng)μ(x∨y)= μ(1)蘊(yùn)涵 μ(x)=μ(1)或 μ(y)=μ(1)，?x，y∈ X 。

證明設(shè)是 X的模糊素 MP濾子，x，y∈X使得μ(x∨y)=μ(1)，則由（FPF2）可知 max{μ(x)，μ(y)}=μ(x∨y)= μ(1)，因此 μ(x)=μ(1)或 μ(y)=μ(1)。

反 之 ，設(shè) μ(x∨y)=μ(1)蘊(yùn) 涵 μ(x)=μ(1)或 μ(y)= μ(1)。假設(shè) μ(x∨y)＞max{μ(x)，μ(y)}，則 μ(x∨y)＞μ(x)且μ(x∨y)＞μ(y)，因此 當(dāng) μ(x∨y)=μ(1)時(shí)有 μ(x)＜μ(1)且μ(y)＜μ(1)，這與題設(shè)條件矛盾。因此（FPF1）成立，從而μ為X的模糊素MP濾子。

定理3設(shè)X為滿足條件(S)的并半格FI代數(shù)，則X的非常值模糊MP濾子μ為X的模糊素MP濾子當(dāng)且僅當(dāng) Xμ為 X 的素 MP濾子。其中 Xμ={x∈X|μ(x)=μ(1)}。

證明 由 Xμ的定義，顯然 Xμ=μμ(1)。因?yàn)?μ是 X的非常值模糊 MP 濾子，所以 μ(0)＜μ(1)，從而 0?Xμ。又由1∈Xμ知 Xμ≠?，故由定義7得 Xμ為 X的素 MP濾子。

反之，設(shè) Xμ為 X的素MP濾子。則由引理2和引理 3知 ?x，y∈X，(x∨y)→y=x→y∈Xμ或 (x∨y)→x= y→x∈Xμ。故 μ((x∨y)→y)=μ(1)或 μ((x∨y)→x)=μ(1)。因此由定義 6 可得 μ(x)≥min{μ((x∨y)→x)，μ(x∨y)}= μ(x∨y) 或 μ(y)≥min{μ((x∨y)→x)，μ(x∨y)}=μ(x∨y) 。故 μ(x∨y)≤max{μ(x)，μ(y)}成立，因此 μ 為 X 的模糊素MP濾子。

推論1設(shè)X為滿足條件(S)的并半格FI代數(shù)，則X的非常值模糊MP濾子μ為X的模糊素MP濾子當(dāng)且僅當(dāng)對(duì)任意 x，y∈X，μ(x→y)=μ(1)或 μ(y→x)=μ(1)。

證明由定理3知μ為X的模糊素MP濾子當(dāng)且僅當(dāng) Xμ為 X的素 MP濾子，而由引理3知這當(dāng)且僅當(dāng)x→y∈Xμ或 y→x∈Xμ，再由 Xμ的定義知這當(dāng)且僅當(dāng)μ(x→y)=μ(1)或 μ(y→x)=μ(1)。

證明設(shè) F∈FMP(X)為 X的素 MP濾子，則 F≠X，從而 μF不為常值。設(shè) x，y∈X，由條件(S)知(x→y)∨(y→x)=1∈F，所以由引理3知 x→y∈F或 y→x∈F，即 μF(x→y)=α=μF(1)或 μF(y→x)=α=μF(1)。因此由推論1知 μF為 X的模糊素MP濾子。

反之，設(shè)μF為 X的模糊素MP濾子，則由定理3知F=XμF為 X的素MP濾子。

推論2設(shè) X為滿足條件(S)的并半格FI代數(shù)，則F∈FMP(X)為 X的素MP濾子當(dāng)且僅當(dāng) χF為 X的模糊素MP濾子。其中 χF為F的特征函數(shù)。

定理5（模糊素MP濾子的擴(kuò)張定理）設(shè)X為滿足條件(S)的并半格FI代數(shù)，μ和v為 X的兩個(gè)模糊MP濾子，且滿足μ?v和 μ(1)=v(1)。如果 μ為 X的模糊素MP濾子，則v也是X的模糊素MP濾子。

證明因?yàn)棣虨閄的模糊素MP濾子，所以由推論1得 μ(x→y)=μ(1)或 μ(y→ x)=μ(1)。若 μ(x→y)=μ(1)，則由 μ?v和 μ(1)=v(1)可得 v(1)=μ(1)=μ(x→y)≤v(x→y)，從而可得 v(x→y)=v(1)。類(lèi)似可證若 μ(y→x)=μ(1)，則v(y→x)=v(1)。因此由推論1便得v也是 X的模糊素MP濾子。

定理6設(shè)X為滿足條件(S)的并半格FI代數(shù)，μ為X的模糊素 MP濾子，k∈[0，μ(1))，則模糊集 μ∨k也是 X的模糊素 MP濾子。其中?x∈X，(μ∨k)(x)=max{μ(x)，k}。

證明首先證明μ∨k是 X的模糊MP濾子。任取x，y，z∈ X，設(shè)x→(y→ z)=1，則由引理7得μ(z)≥ min{μ(x)，μ(y)}，從而

故再由引理7知μ∨k是X的模糊MP濾子。

其次證明μ∨k是X的模糊素MP濾子。因μ為X的模糊素 MP 濾子且 k＜μ(1)，故 (μ∨k)(1)=max{μ(1)，k}= μ(1)≠(μ∨k)(0)，否則 μ(1)=μ(0)，與 μ 非常值矛盾。又因?yàn)??x∈X，(μ∨k)(x)=max{μ(x)，k}≥μ(x)，所以 μ?(μ∨k)，再注意到 (μ∨k)(1)=μ(1)，由定理5便得 μ∨k是 X 的模糊素MP濾子。

定理7設(shè)X為滿足條件(S)的并半格FI代數(shù)，μ為X的非常值模糊MP濾子且μ(1)≠1。則存在X的模糊素MP濾子v使得 μ?v。

證明因?yàn)?μ為 X的非常值模糊 MP濾子，所以Xμ∈FMP(X)且 Xμ≠X。從而由引理5知存在 X的一個(gè)素MP濾子P使得Xμ?P。且由推論2又知 χP為X的模糊素 MP 濾子。令 v=χP∨k，其中 k=max{μ(x)|x∈XP}，則 k≤μ(1)＜1，因此由定理6知v為 X的模糊素 MP濾子且μ?v，?x∈X。從而定理得證。

定理8（模糊素MP濾子定理）設(shè) X為滿足條件(S)的并半格FI代數(shù)，μ為 X的模糊 MP濾子，v為 X上的滿足條件 v(x∨y)=min{v(x)，v(y)}的模糊集，?k∈[0，μ(1))有 min{μ(x)，v(x)}≤k 。則存在 X 的模糊素 MP濾子 σ 使得 μ?σ 且 ?k∈[0，μ(1))，min{σ(x)，v(x)}≤k。

證明 ?k∈[0，μ(1))，令 S={x∈X|v(x)＞k}和 F={x∈X|μ(x)＞k} 。若 a，b∈S，則 v(a)＞k 且 v(b)＞k，從 而v(a∨b)=min{v(a)，v(b)}＞k，所以 a∨b∈S，這表明 S 對(duì)∨ 關(guān)閉。下證 F∈FMP(X)。事實(shí)上，由 ?k∈[0，μ(1))知μ(1)＞k，從而1∈F。設(shè)x，x→y∈F，則μ(x)＞k且μ(x→y)＞k，故 min{μ(x)，μ(x→y)}＞k，從而由 μ 為 X 的模糊 MP濾子知 μ(y)＞k，進(jìn)而 y∈F，故 F∈FMP(X)。又因?yàn)橛?k∈[0，μ(1))有 min{μ(x)，v(x)}≤k 可知 S∩F=?，所以由素MP濾子定理知存在X的素MP濾子P使F?P且 P∩S=?。令σ=χP∨k，則由定理6和推論2知σ為X的模糊素 MP濾子。若 x∈P，則σ(x)=max{1，k}= 1≥μ(x)。若 x?P，則 x?F，從而 μ(x)≤k=max{0，k}= σ(x)。因此總有 μ?σ。另一方面，若 x∈S，則x?F，從而 x? P，故 σ(x)=max{0，k}=k，于是 min{σ(x)，v(x)}= k。若 x?S，則 v(x)≤k，從而 min{σ(x)，v(x)}≤v(x)≤k。因此總有 ?k∈[0，μ(1))，min{σ(x)，v(x)}≤k 。

4 FI代數(shù)的模糊超MP濾子

定義8設(shè) X為FI代數(shù)，μ為 X的非常值的模糊MP濾子。稱(chēng)μ為 X的模糊超MP濾子，如果對(duì)任意的x∈X，μ滿足：

（FUF1）μ(x)=μ(1)或 μ(c(x))=μ(1)。

例2 設(shè) X={0，a，b，c，d，1}，定義 X 上二元運(yùn)算“→2”如表2所示。則利用如圖2所示的MATHEMATICA程序可驗(yàn)證(X，→2，0)是一個(gè)FI代數(shù)。

表2 運(yùn)算“→2”的定義

在 X上定義模糊集 μ使得 μ(1)=μ(a)=μ(d)=0.7，μ(0)=μ(b)=μ(c)=0.3，則容易驗(yàn)證 μ是 X的一個(gè)模糊超MP濾子。

定理9設(shè)X為FI代數(shù)。則X的非常值的模糊MP濾子μ為X的模糊超MP濾子當(dāng)且僅當(dāng)μ滿足：

圖2 驗(yàn)證FI代數(shù)的MATHEMATICA程序

（FUF2）μ(x)≠μ(1)且 μ(y)≠μ(1)蘊(yùn)涵 μ(x→y)=μ(1)且 μ(y→x)=μ(1)，?x，y∈X 。

證明（FUF1）?（FUF2）：設(shè) μ(x)≠ μ(1)且 μ(y)≠ μ(1)，因?yàn)?0≤y，所以 由 FI-（2）得 x→0≤x→y，即 c(x)≤x→y。于是由模糊 MP濾子 μ的保序性和（FUF1）得μ(x→y)≥μ(c(x))=μ(1)，因此 μ(x→y)=μ(1)。類(lèi)似地，由μ(c(y))=μ(1)得 μ(y→x)=μ(1)。故（FUF2）成立。

（FUF2）?（FUF1）：設(shè) μ(x)≠μ(1)，因?yàn)?μ為 X 的非常值模糊 MP 濾子，所以 μ(0)≠μ(1)，故由（FUF2）得μ(x→0)=μ(1)，即 μ(c(x))=μ(1)。因此由定義8知 μ 為 X的模糊超MP濾子。

定理10設(shè)X為滿足條件(S)的并半格FI代數(shù)。則X的非常值的模糊集μ為X的模糊超MP濾子當(dāng)且僅當(dāng)μ是X的模糊素MP濾子且滿足：

（FUF3）μ(x∨c(x))=μ(1)，?x∈X 。

證明“充分性”：設(shè) μ是 X的模糊素MP濾子且滿足（FUF3）。設(shè) x∈X，由注2可得 μ(x∨c(x))=μ(1)= max{μ(x)，μ(c(x))}。若 μ(x)≠μ(1)，因?yàn)橛啥x6知 μ(x)≤μ(1)且μ(c(x))≤ μ(1)，故由 μ(1)=max{μ(x)，μ(c(x))}得μ(c(x))= μ(1)。因此由定義8知μ為X的模糊超MP濾子。

“必要性”：設(shè) μ為 X的模糊超 MP濾子。任取x∈X，因 為 x≤x∨c(x)且 c(x)≤x∨c(x)，故 由 注 1得μ(x)≤μ(x∨c(x))且 μ(c(x))≤μ(x∨c(x))。又由（FUF1）知μ(x)=μ(1)或 μ(c(x))=μ(1)，所以 μ(1)≤μ(x∨c(x))，因此再由定義6便得 μ(x∨c(x))=μ(1)，即（FUF3）成立。

?x，y∈X，因?yàn)閤→((x→y)→y)=(x→y)→(x→y)=1且 y→((x→y)→y)=(x→y)→1=1，所以 x≤(x→y)→y且 y≤(x→y)→y，從而 x∨y≤(x→y)→y，因此由 μ的保序性可知 μ(x∨y)≤μ((x→y)→y)。又由 0≤y和FI-（2）得x→0≤x→y，進(jìn)而(x→y)→y≤(x→0)→y=c(x)→y，因此 μ((x→y)→ y)≤μ(c(x)→ y)，故 μ(x∨y)≤μ(c(x)→ y)。如果 μ(x)=μ(1)，則 μ(x∨y)≤μ(1)=μ(x)≤max{μ(x)，μ(y)}。如果 μ(x)≠μ(1)，則由（FUF1）知 μ(c(x))=μ(1)，所以由定義6可 得 μ(y)≥min{μ(c(x))，μ(c(x)→y)}≥min{μ(1)，μ(c(x)→y)}=μ(c(x)→y)。因此可得 μ(x∨y)≤μ(y)≤max{μ(x)，μ(y)}。故由定義7又知μ是X的模糊素MP濾子。

5 結(jié)束語(yǔ)

本文將模糊集的思想和運(yùn)算方法應(yīng)用于FI代數(shù)的MP濾子理論的研究，引入了FI代數(shù)的模糊素MP濾子和模糊超MP濾子概念，并深入討論了它們的性質(zhì)特征和相互關(guān)系。獲得了若干有意義的結(jié)論。值得注意的是，諸如MTL代數(shù)、R0代數(shù)（NM代數(shù)）、Heyting代數(shù)和MV代數(shù)（格蘊(yùn)涵代數(shù)）等都可以看成是FI代數(shù)的自然擴(kuò)張，從而，可以說(shuō)上述結(jié)果是這諸多邏輯代數(shù)的共同特征的集中體現(xiàn)。因此，這些結(jié)論有助于在把握各種邏輯代數(shù)系統(tǒng)的個(gè)性特征的同時(shí)，也能認(rèn)識(shí)到它們的共性特征和內(nèi)在聯(lián)系。

[1] 吳望名.Fuzzy蘊(yùn)涵代數(shù)[J].模糊系統(tǒng)與數(shù)學(xué)，1990，4（1）：56-64.

[2]李志偉，鄭崇友.Heyting代數(shù)與Fuzzy蘊(yùn)涵代數(shù)[J].數(shù)學(xué)雜志，2002，22（2）：237-240.

[3]朱怡權(quán)，曹喜望.關(guān)于PFI代數(shù)與剩余格[J].數(shù)學(xué)進(jìn)展，2006，35（2）：223-231.

[4]朱怡權(quán).關(guān)于PFI代數(shù)的格論性質(zhì)[J].四川師范大學(xué)學(xué)報(bào)：自然科學(xué)版，2007，30（2）：181-184.

[5]代建云，吳洪博.分配的Fuzzy蘊(yùn)涵代數(shù)[J].模糊系統(tǒng)與數(shù)學(xué)，2008，22（1）：26-32.

[6]劉春輝.Fuzzy蘊(yùn)涵代數(shù)及其拓?fù)鋄D].江蘇揚(yáng)州：揚(yáng)州大學(xué)，2008.

[7]劉春輝，徐羅山.Fuzzy蘊(yùn)涵代數(shù)的素MP濾子[J].模糊系統(tǒng)與數(shù)學(xué)，2011，25（1）：32-37.

[8]裴道武，王三民，楊瑞.模糊蘊(yùn)涵格理論[J].高校應(yīng)用數(shù)學(xué)學(xué)報(bào)：A輯，2011，26（3）：343-354.

[9]Zadeh L A.Fuzzy sets[J].Information Control，1965，8：338-353.

[10]劉春輝.泛邏輯學(xué)中UB代數(shù)系統(tǒng)的(∈，∈∨q)-fuzzy濾子[J].計(jì)算機(jī)工程與應(yīng)用，2009，45（34）：29-31.

[11]Liu L Z，Li K T.Fuzzy filters of BL-algebras[J].Information Science，2005，173（1/3）：141-154.

[12]Liu L Z，Li K T.Fuzzy implicative and Boolean filters of R0-algebras[J].Information Science，2005，171：61-71.

[13]肖云萍，鄒庭榮.泛邏輯學(xué)中UB代數(shù)系統(tǒng)的濾子與商代數(shù)[J].計(jì)算機(jī)工程與應(yīng)用，2007，43（35）：90-92.

[14]肖云萍，鄒庭榮.泛邏輯學(xué)UB代數(shù)系統(tǒng)的fuzzy濾子[J].計(jì)算機(jī)科學(xué)與探索，2008，2（2）：212-216.

[15]劉春輝，徐羅山.FI代數(shù)的多種Fuzzy濾子[J].模糊系統(tǒng)與數(shù)學(xué)，2010，24（2）：21-27.

LIU Chunhui

1.Dean’s Office,Chifeng University,Chifeng,Nei Mongol 024001,China
2.College of Mathematics and Statistics,Chifeng University,Chifeng,Nei Mongol 024001,China

It applies the concept of fuzzy sets which introduced by Zadeh to FI-algebras,the notions of fuzzy prime MP filters and fuzzy ultra MP filters of FI-algebras are introduced,their properties and relations are discussed.Some equivalent characterizations of fuzzy prime MP filters in join semi-lattice FI-algebras with certain conditions are given.The fuzzy prime MP filters theorem of join semi-lattice FI-algebras is established.And the sufficient and necessary condition for an fuzzy set to be fuzzy ultra MP filters is obtained.

fuzzy logic;FI-algebra;fuzzy prime MP filter;fuzzy ultra MP filter

將Zadeh提出的模糊集概念應(yīng)用于FI代數(shù)，提出了FI代數(shù)的模糊素MP濾子和模糊超MP濾子的概念并研究其性質(zhì)及相互關(guān)系。給出了滿足一定條件的并半格FI代數(shù)的模糊素MP濾子的若干等價(jià)刻畫(huà)并建立了模糊素MP濾子定理。獲得了一個(gè)模糊集成為超模糊MP濾子的充要條件。

模糊邏輯；FI代數(shù)；模糊素MP濾子；模糊超MP濾子

A

O141.1；O153.1

10.3778/j.issn.1002-8331.1304-0221

LIU Chunhui.Fuzzy prime MP filters and fuzzy ultra MP filters in FI-algebras.Computer Engineering and Applications,2014,50（23）：77-81.

國(guó)家自然科學(xué)基金（No.10371106，No.60774073）。

劉春輝（1982—），男，講師，研究領(lǐng)域?yàn)榉墙?jīng)典數(shù)理邏輯、Domain和拓?fù)鋵W(xué)。E-mail：chunhuiliu1982@163.com

2013-04-15

2013-06-03

1002-8331（2014）23-0077-05

CNKI網(wǎng)絡(luò)優(yōu)先出版：2013-06-26,http://www.cnki.net/kcms/detail/11.2127.TP.20130626.1542.021.html

◎網(wǎng)絡(luò)、通信、安全◎