The concept of primary filter is proposed in residuated lattice implication algebras.

在剩余格蕴涵代数中,提出准素滤子的概念.

互联网

In this paper , the concept of ultrafilter of lattice implication algebras is proposed.

根据逻辑代数方程理论, 提出了格蕴涵代数方程的概念.

互联网