检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]内江师范学院数学与信息科学学院四川省高等学校数值仿真重点实验室,四川内江641100
出 处:《内江师范学院学报》2010年第4期9-11,共3页Journal of Neijiang Normal University
基 金:四川省教育厅科研基金项目(08zb082)
摘 要:通过格蕴涵代数的序滤子,得到了格蕴涵代数的一类由该序滤子所确定的滤子.首先,研究了该类滤子的性质;其次,并得到了格蕴涵代数的序滤子做成滤子的充分必要条件;最后,研究该类滤子的结构.By aid of the order filters in lattice implication algebras, filters determined by the order filters of it are obtained. Firstly, the properties of such filters are studied; Secondly, the necessary and sufficient condition under which the order filters of lattice implication algebras qualify as filters is obtained; Finally, the structure of such filter is determined.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7