【摘要】：在蘊(yùn)涵格上定義了MP-濾子、生成濾子、正規(guī)MP-濾子與素濾子的概念,研究了它們的特征性質(zhì),討論了正規(guī)MP-濾子和MP-濾子之間的關(guān)系,得到正規(guī)MP-濾子是MP-濾子的結(jié)論,證明了蘊(yùn)涵格的素濾子定理。它們是R0-代數(shù)或MV-代數(shù)上相應(yīng)濾子的性質(zhì)的共同特征。
[Abstract]:The concepts of MP-filter, generative filter, normal MP-filter and prime filter are defined on implication lattices, and their characteristic properties are studied. The relationship between normal MP-filters and MP-filters is discussed, and the conclusion that normal MP-filters are MP-filters is obtained. The prime filter theorem of implication lattices is proved. They are the common properties of the corresponding filters on R 0-algebras or MV-algebras.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)研究所;安康學(xué)院數(shù)學(xué)系;西安理工大學(xué)機(jī)械與精密儀器工程學(xué)院;
【基金】：國家自然科學(xué)基金(10771129) 2006年安康學(xué)院科研基金(2006AKXY012)
【分類號】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 王國俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報;1997年10期

2 王國俊;蘊(yùn)涵格及其Fuzzy拓?fù)浔憩F(xiàn)定理[J];數(shù)學(xué)學(xué)報;1999年01期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 辛?xí)詵|,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2000年02期

2 蘇忍鎖;蘊(yùn)涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2004年02期

3 吳洪博;L~*系統(tǒng)的一種改進(jìn)系統(tǒng)L_0~*[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2001年01期

4 吳恒洋,韓誠;非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

5 裴道武,姜慧;一個新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(自然科學(xué)版);2003年01期

6 王國俊;關(guān)于模糊推理的若干基本問題[J];工程數(shù)學(xué)學(xué)報;2000年S1期

7 辛?xí)詵|;非線性格值邏輯系統(tǒng)鄀_6[J];工程數(shù)學(xué)學(xué)報;2000年S1期

8 任芳;R_0-代數(shù)上的同余關(guān)系[J];工程數(shù)學(xué)學(xué)報;2001年01期

9 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中F(S)的一個分劃及其應(yīng)用[J];工程數(shù)學(xué)學(xué)報;2001年04期

10 裴道武;模糊邏輯中的自然演繹系統(tǒng)[J];工程數(shù)學(xué)學(xué)報;2002年03期

相關(guān)會議論文 前3條

1 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

2 胡明娣;于鵬;王國俊;;蘊(yùn)涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 裴道武;;R_0代數(shù)中的MP濾子與同余關(guān)系[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

相關(guān)博士學(xué)位論文 前10條

1 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學(xué)技術(shù)大學(xué);2006年

2 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

3 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學(xué);2002年

4 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動推理方法的研究[D];西南交通大學(xué);2002年

5 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動推理的研究[D];西南交通大學(xué);2002年

6 李海明;關(guān)于格值邏輯及自動推理的研究[D];西南交通大學(xué);2003年

7 徐蔚鴻;模糊智能系統(tǒng)中模糊推理研究[D];南京理工大學(xué);2004年

8 孟丹;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動推理研究[D];西南交通大學(xué);2004年

9 王學(xué)芳;基于格蘊(yùn)涵代數(shù)的格值邏輯及其模型論的研究[D];西南交通大學(xué);2004年

10 尚云;量子邏輯中有效代數(shù)與偽有效代數(shù)的研究[D];陜西師范大學(xué);2005年

相關(guān)碩士學(xué)位論文 前10條

1 鄭慕聰;余剩余格及其應(yīng)用[D];陜西師范大學(xué);2005年

2 高小軍;模糊推理的新算法及基于模糊小波網(wǎng)絡(luò)的自適應(yīng)控制[D];西安電子科技大學(xué);2002年

3 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

4 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

5 常瑤芝;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

6 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

7 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

8 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

9 吳恒洋;模糊推理的數(shù)學(xué)結(jié)構(gòu)及其應(yīng)用[D];上海師范大學(xué);2004年

10 王華;命題泛邏輯學(xué)的包容性研究[D];西北工業(yè)大學(xué);2004年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 王國俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報;1997年10期

2 王國俊;一類代數(shù)上的邏輯學(xué)(Ⅰ)[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);1997年01期

【相似文獻(xiàn)】

相關(guān)會議論文 前1條

1 胡明娣;于鵬;王國俊;;蘊(yùn)涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

相關(guān)碩士學(xué)位論文 前2條

1 劉匯洋;若干廣義t-模及相關(guān)模糊邏輯系統(tǒng)[D];寧波大學(xué);2010年

2 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問題[D];陜西師范大學(xué);2001年

，

本文編號：2178543