Equations in the algebra of logic
Sergiu Rudeanu · 2003
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.