5 关系: 布尔代数主题列表,代数逻辑,圆柱代数,内部代数,关系代数 (抽象代数)。
布尔代数主题列表
* 集合代数.
新!!: 一元布尔代数和布尔代数主题列表 · 查看更多 »
代数逻辑
在數理邏輯中,代數邏輯使用抽象代數方法形式化邏輯。.
新!!: 一元布尔代数和代数逻辑 · 查看更多 »
圆柱代数
阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上,圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。.
新!!: 一元布尔代数和圆柱代数 · 查看更多 »
内部代数
在抽象代数中,内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模態代數的一个簇。.
新!!: 一元布尔代数和内部代数 · 查看更多 »
关系代数 (抽象代数)
在数学中,关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 2^,带有 R·S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。.
新!!: 一元布尔代数和关系代数 (抽象代数) · 查看更多 »