乘积格蕴涵代数的子代数的MATLAB实现  

MATLAB Realization on Subalgebras of Direct Product of Lattice Implication Algebras

作　　者：吴明慧[1] 刘煦[2] 徐扬[1] 马骏[3] 

机构地区：[1]西南交通大学智能控制开发中心,成都610031 [2]西南交通大学力学与工程学院,成都6100312 [3]澳大利亚悉尼科技大学信息技术学院

出　　处：《计算机科学》2011年第3期263-265,289,共4页Computer Science

基　　金：国家自然科学基金项目(60875034)资助

摘　　要：借助于MATLAB,得到了两个有限链型的乘积格蕴涵代数子代数的具体形式,更直观地反映了格蕴涵子代数的结构特征,并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各种滤子之间的关系,讨论了两个链型格蕴涵子代数乘积的滤子,得到了其只存在平凡滤子和素滤子的结论。The current paper gets the concrete forms of the subalgebras of two finite chain-type lattice implication pro-duct algebras by means of MATLAB,it is absolutely necessary to know the structure of lattice implication algebras more intuitively.An example was given to show the result.It investigated the relations of some filters of lattice implication algebras.Furthermore,it discussed about the filters of direct product of two finite chain-type lattice implication subalgebras,and got the direct product that two finite chain-type lattice implication subalgebras have trivial filters and prime filters only.

关 键 词：滤子 格蕴涵子代数 乘积格蕴涵代数 非链型子代数 链型子代数 

分 类 号：O153.1[理学—数学]