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.
讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
应用推荐