Rings and Boolean Algebras as Algebraic Theories

We present a unified framework for representing commutative and Boolean rings through affine and hyperaffine algebraic theories. This yields categorical equivalences between these theories and rings, and leads to a new analysis of certain classes of modules over Boolean rings. The resulting structures naturally capture the algebraic semantics of the if-then-else construct in programming languages.