fuzzy lattice implication algebra 模糊子格蕴涵代数
lattice implication algebra axioms 格蕴涵代数公理
pseudo lattice implication algebra 伪格蕴涵代数
lattice implication algebra inequality 格蕴涵代数不等式
residuated lattice implication algebra 剩余格蕴涵代数
lattice H implication algebra 格H蕴涵代数
Normed lattice H implication algebra 赋范格H蕴涵代数
Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.
格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。
参考来源 - 关于格值逻辑及自动推理的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Finally, the set of a lattice implication algebra are studied.
同时，对格蕴涵代数之全体的结构进行了全面的研究。
The concept of lattice implication homomorphism image, which is proved to be a lattice implication algebra, is introduced.
提出了格蕴涵同态像的概念，证明了格蕴涵同态像是格蕴涵代数；
The relation between rough set algebra and lattice implication algebra was studied, and the method of constructing lattice implication algebra from rough set algebra was presented.
讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法。
应用推荐