期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
乘积格蕴涵代数的子代数的MATLAB实现
1
作者 吴明慧 刘煦 +1 位作者 徐扬 马骏 《计算机科学》 CSCD 北大核心 2011年第3期263-265,289,共4页
借助于MATLAB,得到了两个有限链型的乘积格蕴涵代数子代数的具体形式,更直观地反映了格蕴涵子代数的结构特征,并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各种滤子之间的关系,讨论了两个链型格蕴涵子代数乘积的滤子,得... 借助于MATLAB,得到了两个有限链型的乘积格蕴涵代数子代数的具体形式,更直观地反映了格蕴涵子代数的结构特征,并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各种滤子之间的关系,讨论了两个链型格蕴涵子代数乘积的滤子,得到了其只存在平凡滤子和素滤子的结论。 展开更多
关键词 滤子 蕴涵代数 乘积格蕴涵代数 非链型子代数 链型子代数
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部