阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中.可比较于布尔代数对命题逻辑所扮演的角色.实际上,圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数.维圆柱代数,这里的 是任何序数,是代数结构 使得 是布尔代数, 对于所有 是在 上的一元算子,而 对于所有 和 是在 上的一个显著的元素,使得如下成立: (C1) (C2) (C3) (C4) (C5) (C6) 如果 ,则 (C7) 如果 ,则