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

计算机科学 ›› 2011, Vol. 38 ›› Issue (3): 263-265.

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

吴明慧,刘煦,徐扬,马骏

(西南交通大学智能控制开发中心成都610031);(西南交通大学力学与工程学院成都610031);(澳大利亚悉尼科技大学信息技术学院)

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金项目(60875034)资助。

MATLAB Realization on Subalgebras of Direct Product of Lattice Implication Algebras

WU Ming-hu,LIU Xu,XU Yang,MA Jun

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 借助于MATLAB，得到了两个有限链型的乘积格蕴涵代数子代数的具体形式，更直观地反映了格蕴涵子代数的结构特征，并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各种滤子之间的关系，讨论了两个链型格蕴涵子代数乘积的滤子，得到了其只存在平凡滤子和素滤子的结论。

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

Abstract: The current paper gets the concrete forms of the subalgebras of two finite chain-type lattice implication product 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.

Key words: Filter, Latticc implication subalgcbra, Lattice implication product subalgcbra, Non-chain-type subalgcbra,Chain-type subalgebra

吴明慧,刘煦,徐扬,马骏. 乘积格蕴涵代数的子代数的MATLAB实现[J]. 计算机科学, 2011, 38(3): 263-265. https://doi.org/

WU Ming-hu,LIU Xu,XU Yang,MA Jun. MATLAB Realization on Subalgebras of Direct Product of Lattice Implication Algebras[J]. Computer Science, 2011, 38(3): 263-265. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed