Cylindric algebra


The notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first-order logic with equality. This is comparable to the role Boolean algebras play for propositional logic. Indeed, cylindric algebras are Boolean algebras equipped with additional cylindrification operations that model quantification and equality. They differ from polyadic algebras in that the latter do not model equality.

Definition of a cylindric algebra

A cylindric algebra of dimension is an algebraic structure such that is a Boolean algebra, a unary operator on for every , and a distinguished element of for every and , such that the following hold:
Assuming a presentation of first-order logic without function symbols,
the operator models existential quantification over variable in formula while the operator models the equality of variables and. Henceforth, reformulated using standard logical notations, the axioms read as

Cylindric set algebras

A cylindric set algebra of dimension is an algebraic structure such that is a field of sets, is given by, and is given by. It necessarily validates the axioms axioms C1–C7 of a cylindric algebra, with instead of, instead of, set complement for complement, empty set as 0, as the unit, and instead of. The set X is called the base.
Not every cylindric algebra has a representation as a cylindric set algebra. It is easier to connect the semantics of first-order predicate logic with cylindric set algebra.

Generalizations

Cylindric algebras have been generalized to the case of many-sorted logic, which allows for a better modeling of the duality between first-order formulas and terms.

Relation to monadic Boolean algebra

When and are restricted to being only 0, then becomes, the diagonals can be dropped out, and the following theorem of cylindric algebra :
turns into the axiom
of monadic Boolean algebra. The axiom drops out. Thus monadic Boolean algebra can be seen as a restriction of cylindric algebra to the one variable case.