剩余格上n-重正蕴涵滤子的特征及刻画

发布时间：2018-07-03 18:57

  本文选题：剩余格 + 滤子　； 参考：《山东大学学报(理学版)》2017年08期

【摘要】：在剩余格上引入了两类滤子——n-重蕴涵滤子和n-重正蕴涵滤子,研究它们一系列的特征及性质,得到了剩余格上的非空子集F成为n-重蕴涵滤子和n-重正蕴涵滤子的充要条件,以及这两类滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的滤子理论,并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。
[Abstract]:In this paper, two kinds of filters, n- reimplication filters and n- re positive implication filters, are introduced on the residue lattices, and a series of characteristics and properties of them are studied. The sufficient and necessary conditions for a nonempty subset F on a residual lattice to be a n- reimplication filter and a n- re positive implication filter are obtained, and the necessary and sufficient conditions for the two kinds of filters to be equivalent to each other are obtained. The results further expand the filter theory on residual lattices and lay a theoretical foundation for its application in algebraic logic and computer information processing.
【作者单位】： 陕西理工大学数学与计算机科学学院;
【基金】：国家自然科学基金资助项目(11401357) 陕西理工大学科研基金资助项目(SLGKY16-02)
【分类号】：O141

【参考文献】

相关期刊论文 前3条

1 刘春辉;;关于MTL代数的模糊滤子[J];模糊系统与数学;2015年02期

2 王伟;李毅君;童丹;程晓燕;;BL-代数的obstinate滤子和ultra滤子[J];内蒙古师范大学学报(自然科学汉文版);2013年04期

3 裴道武;;MTL代数的特征定理[J];数学学报;2007年06期

【共引文献】

相关期刊论文 前10条

1 刘莉君;;剩余格上n-重滤子的特征及结构[J];陕西理工大学学报(自然科学版);2017年03期

2 刘莉君;;剩余格上n-重正蕴涵滤子的特征及刻画[J];山东大学学报(理学版);2017年08期

3 王伦磊;吴洪博;;弱MTL-代数上的几种演绎系统及其商代数[J];模糊系统与数学;2016年05期

4 ZHOU Jianren;WU Hongbo;;Schematic Extensions of MTL by Adding Weak Divisibility Axiom[J];Chinese Journal of Electronics;2016年05期

5 彭家寅;;BL-代数的扰动模糊理想[J];山东大学学报(理学版);2016年10期

6 刘春辉;;MTL-代数的模糊理想[J];浙江大学学报(理学版);2015年05期

7 寇海燕;吴洪博;;MTL代数及由其MP滤子型商代数的局部有限性[J];模糊系统与数学;2015年02期

8 吴洪博;寇海燕;;强并半格中的C-滤子及其应用[J];数学学报(中文版);2015年02期

9 寇海燕;吴洪博;;MTL代数的Wajsberg形式及其应用[J];山东大学学报(理学版);2015年02期

10 王霞霞;吴洪博;;弱MTL代数的演绎系统与同余关系的对应定理[J];济南大学学报(自然科学版);2015年04期

【二级参考文献】

相关期刊论文 前5条

1 刘春辉;;Fuzzy蕴涵代数的滤子理论[J];山东大学学报(理学版);2013年09期

2 张小红;Jun Young Bae;Doh Myung Im;;关于BL-代数的模糊滤子与模糊理想(英文)[J];模糊系统与数学;2006年03期

3 王国俊,宋庆燕,宋玉靖;Boole代数上的度量结构及其在命题逻辑中的应用[J];数学学报;2004年02期

4 裴道武;强正则剩余格值逻辑系统L~N及其完备性[J];数学学报;2002年04期

5 裴道武;剩余格与正则剩余格的特征定理[J];数学学报;2002年02期

【相似文献】

相关期刊论文 前4条

1 吴苏朋;;MTL代数中的布尔滤子和正蕴涵滤子[J];云南师范大学学报(自然科学版);2009年02期

2 徐少贤;关于逻辑运算“→”和BCK运算“*”[J];南阳师范学院学报(自然科学版);2002年06期

3 吴苏朋;;R_0代数中的正蕴涵MP滤子和固执MP滤子[J];计算机工程与应用;2008年20期

4 ;[J];;年期

，

本文编号：2094676