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