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

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