圆柱代数
圆柱代数术语
阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。
定义
维圆柱代数，这里的 是任何序数，是代数结构 使得是布尔代数，对于所有是在上的一元算子，而对于所有和是在上的一个显著的元素，使得如下成立:
（1）
（2）
（3）
（4）
（5）
（6）如果，则
（7）如果，则
参考
参考资料
最新修订时间：2023-01-08 11:58
条目作者
小编
目录
概述
定义
参考
参考资料

Copyright©2024 闽ICP备2024072939号-1