圓柱代數

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

基本介紹

• 中文名：圓柱代數
• 分類：代數邏輯、閉包運算元
• 領域：數理科學

定義

維圓柱代數，這裡的 是任何序數，是代數結構 使得是布爾代數，對於所有是在上的一元運算元，而對於所有和是在上的一個顯著的元素，使得如下成立:

（1）

（2）

（3）

（4）

（5）

（6）如果，則

（7）如果，則

參考

• 抽象代數邏輯
  
• 一元布爾代數