阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。1
定义
维圆柱代数，这里的
是任何序数，是代数结构
使得
是布尔代数，
对于所有
是在
上的一元算子，而
对于所有
和
是在上的一个显著的元素2，使得如下成立:
（1）
（2）
（3）
（4）
（5）
（6）如果
，则
（7）如果
，则
参考抽象代数逻辑
一元布尔代数
本词条内容贡献者为:
胡建平 - 副教授 - 西北工业大学