Equations in the algebra of logic

We survey the basic results in the theory of Boolean equations and the theory of equations in Post algebras. The two theories share four common features, which are analysed from the point of view of universal algebra; this yields further generalizations. Applications include a revision of Arystoteles' syllogistics and the study of Boolean analogues of modus ponens and the deduction theorem.