阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。

维圆柱代数，这里的 是任何序数，是代数结构 使得 是布尔代数， 对于所有 是在 上的一元算子，而 对于所有 和 是在 上的一个显着的元素，使得如下成立:

(C1)

(C2)

(C3)

(C4)

(C5)

(C6) 如果 ，则

(C7) 如果 ，则

The notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of equational first-order logic. 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.