【摘要】：在蘊涵格上定義了MP-濾子、生成濾子、正規(guī)MP-濾子與素濾子的概念,研究了它們的特征性質,討論了正規(guī)MP-濾子和MP-濾子之間的關系,得到正規(guī)MP-濾子是MP-濾子的結論,證明了蘊涵格的素濾子定理。它們是R0-代數或MV-代數上相應濾子的性質的共同特征。
[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.
【作者單位】： 陜西師范大學數學研究所;安康學院數學系;西安理工大學機械與精密儀器工程學院;
【基金】：國家自然科學基金(10771129) 2006年安康學院科研基金(2006AKXY012)
【分類號】：O141.1

【參考文獻】

相關期刊論文 前2條

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

2 王國俊;蘊涵格及其Fuzzy拓撲表現(xiàn)定理[J];數學學報;1999年01期

【共引文獻】

相關期刊論文 前10條

1 辛曉東,尤飛;乘積R_0-代數上的若干映射性質[J];寶雞文理學院學報(自然科學版);2000年02期

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

3 吳洪博;L~*系統(tǒng)的一種改進系統(tǒng)L_0~*[J];純粹數學與應用數學;2001年01期

4 吳恒洋,韓誠;非全序R_0代數的結構[J];純粹數學與應用數學;2004年01期

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

6 王國俊;關于模糊推理的若干基本問題[J];工程數學學報;2000年S1期

7 辛曉東;非線性格值邏輯系統(tǒng)鄀_6[J];工程數學學報;2000年S1期

8 任芳;R_0-代數上的同余關系[J];工程數學學報;2001年01期

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

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

相關會議論文 前3條

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

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

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

相關博士學位論文 前10條

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

2 李志偉;偏序集上的蘊涵代數[D];首都師范大學;2002年

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

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

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

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

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

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

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

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

相關碩士學位論文 前10條

1 鄭慕聰;余剩余格及其應用[D];陜西師范大學;2005年

2 高小軍;模糊推理的新算法及基于模糊小波網絡的自適應控制[D];西安電子科技大學;2002年

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

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

5 常瑤芝;L～*謂詞邏輯與R_0代數性質新探[D];陜西師范大學;2003年

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

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

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

9 吳恒洋;模糊推理的數學結構及其應用[D];上海師范大學;2004年

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

【二級參考文獻】

相關期刊論文 前2條

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

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

【相似文獻】

相關會議論文 前1條

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

相關碩士學位論文 前2條

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

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

，

本文編號：2178543