 The prototypical examples of algebraic semantics for propositional logics are the class BA of  Boolean algebras,  which is the algebraic semantics for classical logic, and the class HA of Heyting algebras, which is the algebraic semantics for  intuitionistic logic.  Every Boolean algebra and every Heyting algebra \(\bA\) has a greatest element according to their natural order; this element is denoted usually by \(1^{\bA}\) and interprets the propositional constant symbol \(\top\). It is taken as the distinguished element relative to which the algebraic semantics is given. The algebraic semantics of these two logics works as follows: