圆柱代数 阿尔弗雷德塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中可比较于布尔代数对命题逻辑所扮演的角色实际上圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数