关于Heyting代数公理系统的一个注记

A Note on the Axiom System of the Heyting Algebra

Ｈｅｙｔｉｎｇ 代数是一类重要的代数，很多数学结构都与这一代数有联系．在本文，我们指出，Ｈｅｙｔｉｎｇ

The purpose of this paper is to point out that there is a identity, i.e., (x→y)∧y=y, which is not necessary in the axiom system on defining the Heyting algebra.