关于格蕴涵代数

讨论了拟格蕴涵代数的基本性质,由此得到：拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X（X,V,∧,`,→,0,1）为拟格蕴涵代数,≤L为格（X,∨,∧）上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系.

格蕴涵代数与Heyting-代数之间的关系

证明了正则的Heyting-代数如果满足x→y=x'∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。

格蕴涵代数与正则Fuzzy蕴涵代数

讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数.

关于格蕴涵代数的一个注记

给出了拟格蕴涵代数构成格蕴涵代数的两组充要条件。

Quasi-uniform itieson Lattice Im plication Algebras

We define a quasi uniformity on a lattice H implication algebra. We also introduce a quasi uniformity on any lattice implication algebra by using the set of filters.