检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《模糊系统与数学》2010年第6期17-26,共10页Fuzzy Systems and Mathematics
基 金:国家自然科学基金资助项目(60775038);宁波大学王宽诚幸福基金资助项目
摘 要:研究蕴涵格的性质及其结构。借助数学软件给出8阶及以下蕴涵格的完全分类,说明了真蕴涵格与优蕴涵格的存在性,并纠正了多个文献中关于蕴涵格的一些错误结论。同时,引入局部有限蕴涵格和次结合蕴涵格的概念,证明了局部有限蕴涵格是优蕴涵格。The properties and structure of implication lattices are investigated. The classification of implication lattices with 8(and lower) orders is solved by Mathematica programs,and some mistakes of references are pointed out.Moreover,the notions of locally finite implication lattice and sub-associative implication lattice are introduced,some properties of them are discussed,and the following result is proved: every locally finite implication lattice is well implication lattice.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222