蕴涵格的正规MP滤子与素滤子

发布时间：2018-08-12 08:46

【摘要】：在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念,研究了它们的特征性质,讨论了正规MP-滤子和MP-滤子之间的关系,得到正规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 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

2 王国俊;蕴涵格及其Fuzzy拓扑表现定理[J];数学学报;1999年01期

【共引文献】

相关期刊论文 前10条

1 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

4 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

5 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

6 王国俊;关于模糊推理的若干基本问题[J];工程数学学报;2000年S1期

7 辛晓东;非线性格值逻辑系统鄀_6[J];工程数学学报;2000年S1期

8 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期

9 吴洪博,阎满富;G銉del逻辑系统中F(S)的一个分划及其应用[J];工程数学学报;2001年04期

10 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期

相关会议论文 前3条

1 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

2 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

3 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

相关博士学位论文 前10条

1 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

4 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

5 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

6 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

7 徐蔚鸿;模糊智能系统中模糊推理研究[D];南京理工大学;2004年

8 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[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～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

7 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

8 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

9 吴恒洋;模糊推理的数学结构及其应用[D];上海师范大学;2004年

10 王华;命题泛逻辑学的包容性研究[D];西北工业大学;2004年

【二级参考文献】

相关期刊论文 前2条

1 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

2 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

【相似文献】

相关会议论文 前1条

1 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

相关硕士学位论文 前2条

1 刘汇洋;若干广义t-模及相关模糊逻辑系统[D];宁波大学;2010年

2 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

，

本文编号：2178543