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