检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:龚加安[1,2] 崔宏志[1] 吴洪博[2] GONG Jia-an;OUI Hong-zhi;WU Hong-bo(Shanxi Shangluo Vocation and Technical lnstitution,Shangluo 726000,China;College of Mathematics and Information Science,Shaanxi Normal University,Xi'an 710062,China)
机构地区:[1]商洛职业技术学院,陕西商洛726000 [2]陕西师范大学数学与信息科学学院,陕西西安710062
出 处:《云南师范大学学报(自然科学版)》2018年第6期26-30,共5页Journal of Yunnan Normal University:Natural Sciences Edition
基 金:国家自然科学基金资助项目(11171196);陕西省教育厅科学研究基金资助项目(17JK0962);商洛职业技术学院2017年度重大课题资助项目(2017JXKT06)
摘 要:在剩余格中定义了一类特殊的素(p)滤子,讨论了它们的结构和性质.证明了该剩余格中的蕴涵运算可由这些特殊的素(p)滤子所确定,并且这些特殊的素(p)滤子的全体构成一个剩余格,它与原剩余格具有格蕴涵同构关系.当剩余格是MTL代数、IMTL代数、BL代数、MV代数或R0代数时,上述结论也成立.A special kind of prime(p) filters are defined in a residual lattice,then their structures and properties are discussed.It is proved that the implication operation in the residual lattice is determined by these prime(p) filters,and all of these prime(p) filters compose a residual lattice,which is lattice implication isomorphic to the former residual lattice.The conclusion is suit for MTI. algebra,IMTL al gebra,BL algebra,MV algebra and R0 algebra.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.21.104.216