Orthocomplemented posets with a symmetric difference (Q1016088): Difference between revisions
From MaRDI portal
Revision as of 12:30, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Orthocomplemented posets with a symmetric difference |
scientific article |
Statements
Orthocomplemented posets with a symmetric difference (English)
0 references
4 May 2009
0 references
The authors endow an orthocomplemented poset with a binary operation which models a symmetric difference of posets. The class of such posets is denoted by ODP. It is shown that any ODP is orthomodular. Then the authors deal with the question of when an ODP is set-representable. In general, this is not the case, and the authors characterize the positive case. It is shown that set-representability can be characterized in terms of two-valued morphisms, and it is proved that they form a quasivariety. Finally, they investigate when an orthomodular poset can be endowed with a symmetric difference. It is shown that not every orthomodular poset has this property.
0 references
orthomodular poset
0 references
quantum logic
0 references
symmetric difference
0 references
Boolean algebra
0 references
quasivariety
0 references
Frink ideal
0 references