Article
Keywords:
Hilbert algebra; implication algebra; Boolean algebra
Summary:
The paper shows that commutative Hilbert algebras introduced by Y. B. Jun are just J. C. Abbot’s implication algebras.
References:
[1] Abott J. C.: Semi-Boolean algebras. Matem. Vestnik 4 (1967), 177–198.
[2] Chajda I.:
The lattice of deductive systems on Hilbert algebras. Southeast Asian Bull. Math (to appear).
MR 2046584 |
Zbl 1010.03054
[3] Chajda I., Halaš R.:
Annihilators in Hilbert algebras. Mult.-Valued Log (to appear).
MR 1957649
[4] Chajda I., Halaš R.:
Congruences and ideals in Hilbert algebras. Kyungpook Mathem. J. 39 (1999), 429–432.
MR 1728116
[5] Diego A.: Sur algébres de Hilbert. Collect. Logique Math. Ser. A 21 (1967), 177–198.