Every effect algebra can be made into a total algebra

被引:0
|
作者
I. Chajda
R. Halaš
J. Kühr
机构
[1] Palacký University,Department of Algebra and Geometry, Faculty of Science
来源
Algebra universalis | 2009年 / 61卷
关键词
03G10; 03G12; 03G25; Effect algebra; commutative directoid; weak basic algebra;
D O I
暂无
中图分类号
学科分类号
摘要
We prove that every effect algebra (E,+, 0, 1) can easily be made into a total algebra (E,⊕, ¬, 0) of type (2, 1, 0) in such a way that two elements are compatible in (E,+, 0, 1) if and only if they commute in (E,⊕, ¬, 0).
引用
下载
收藏
相关论文
共 50 条