圓柱代數

阿爾弗雷德 · 塔斯基發明的圓柱代數概念自然的出現於一階邏輯的代數化中 。 可比較於布爾代數對命題邏輯所扮演的角色 。 實際上 ， 圓柱代數是裝備了建模量化的額外圓柱化運算的布爾代數 。