Polyadic algebra
Polyadic algebras are algebraic structures introduced by Paul Halmos. They are related to first-order logic analogous to the relationship between Boolean algebras and propositional logic.
There are other ways to relate first-order logic to algebra, including Tarski's cylindric algebras and Lawvere's functorial semantics.