Polyadic algebras (more recently called Halmos algebras) are

algebraic structure In mathematics, an algebraic structure or algebraic system consists of a nonempty set ''A'' (called the underlying set, carrier set or domain), a collection of operations on ''A'' (typically binary operations such as addition and multiplicatio ...

s introduced by

Paul Halmos Paul Richard Halmos (; 3 March 1916 – 2 October 2006) was a Kingdom of Hungary, Hungarian-born United States, American mathematician and probabilist who made fundamental advances in the areas of mathematical logic, probability theory, operat ...

. They are related to

first-order logic First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over ...

analogous to the relationship between Boolean algebras and

propositional logic The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. Sometimes, it is called ''first-order'' propositional logic to contra ...

(see Lindenbaum–Tarski algebra). There are other ways to relate first-order logic to algebra, including Tarski's

cylindric algebra In mathematics, the notion of cylindric algebra, developed by Alfred Tarski, arises naturally in the Algebraic logic, algebraization of first-order logic with equality. This is comparable to the role Boolean algebra (structure), Boolean algebras pl ...

s (when

equality Equality generally refers to the fact of being equal, of having the same value. In specific contexts, equality may refer to: Society * Egalitarianism, a trend of thought that favors equality for all people ** Political egalitarianism, in which ...

is part of the logic) and Lawvere's functorial semantics (a categorical approach).

References

Further reading