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

摘要

The paper proves that a regular Heyting-algebra could be a lattice implication algebra and also be a lattice H implication algebra if it satisfied x→y=x′∨y,and the condition is sufficient and necessary.%证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。