Loading AI tools
来自维基百科,自由的百科全书
阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上,圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。
维圆柱代数,这里的 是任何序数,是代数结构 使得 是布尔代数, 对于所有 是在 上的一元算子,而对于所有 和 ,是 的指定元素,使得如下成立:
(C1)
(C2)
(C3)
(C4)
(C5)
(C6) 如果 ,则
(C7) 如果 ,则
这是一篇与逻辑学相关的小作品。您可以通过编辑或修订扩充其内容。 |
这是一篇关于代数的小作品。您可以通过编辑或修订扩充其内容。 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.