蕴涵代数
Simplify the axiom system of lattice implication algebras, which was given by Y.
给出的格蕴含代数的公理系统, 并给出另一个公理系统.
来源:网络文摘精选In this paper , the concept of ultrafilter of lattice implication algebras is proposed.
根据逻辑代数方程理论, 提出了格蕴涵代数方程的概念.
来源:互联网摘选The concept of primary filter is proposed in residuated lattice implication algebras.
在剩余格蕴涵代数中,提出准素滤子的概念.
来源:互联网摘选
英语网 · 中考英语

英语网 · 中考英语
英语网 · 双语娱乐资讯
英语网 · 双语娱乐资讯

英语网 · 四六级英语
英语网 · 双语新闻