To every ordered set with a greatest element is assigned an order algebra, a Hilbert algebra occuring in intuicionistic logic. We prove some basic properties of order algebras and characterize their ideals and congruences. We introduce a concept of (relative) annihilator and show that it is a (relative) pseudocomplement in the lattice of all ideals.
To every ordered set with a greatest element is assigned an order algebra, a Hilbert algebra occuring in intuicionistic logic. We prove some basic properties of order algebras and characterize their ideals and congruences. We introduce a concept of (relative) annihilator and show that it is a (relative) pseudocomplement in the lattice of all ideals. (en)