 This is the precise content of the statement that BA and HA are an algebraic semantics for classical logic and for intuitionistic logic, respectively. The implication from left to right in the expression above is an algebraic soundness theorem and the implication from right to left an algebraic completeness theorem.