Orthocomplemented Posets with a Symmetric Difference

We endow orthocomplemented posets with a binary operation–an abstract symmetric difference of sets–and we study algebraic properties of this class, ${\cal ODP}$. Denoting its elements by ODP, we first investigate on the features related to compatibility in ODPs. We find, among others, that any ODP is orthomodular. This explicitly links ${\cal ODP}$ with the theory of quantum logics. By analogy with Boolean algebras, we then ask if (when) an ODP is set representable. Though we find that general ODPs do not have to be set representable, many natural ODPs are shown to be. We characterize the set-representable ODPs in terms of two valued morphisms and prove that they form a quasivariety. This quasivariety contains the class of pseudocomplemented ODPs as we show afterwards. At the end we ask whether any orthomodular poset can be converted or, more generally, enlarged to an ODP. By countre-examples we answer these questions to the negative.

[1]  Gerhard Dorfer.  Noncommutative Symmetric Differences in Orthomodular Lattices , 2002 .

[2]  Sylvia Pulmannová,et al.  Orthomodular structures as quantum logics , 1991 .

[3]  Richard J. Greechie,et al.  Orthomodular Lattices Admitting No States , 1971 .

[4]  Mirko Navara,et al.  Almost Boolean orthomodular posets , 1989 .

[5]  Pavel Pták,et al.  Orthomodular lattices with state-separated noncompatible pairs , 2000 .

[6]  Günter Bruns,et al.  Blocks and commutators in orthomodular lattices , 1990 .

[7]  John Harding,et al.  Algebraic Aspects of Orthomodular Lattices , 2000 .

[8]  Josef Tkadlec,et al.  Partially additive measures and set representations of orthoposets , 1993 .

[9]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[10]  Ladislav Beran,et al.  Orthomodular Lattices: Algebraic Approach , 1985 .

[11]  V. Varadarajan.  Geometry of quantum theory , 1968 .

[12]  Milan Matoušek.  Orthocomplemented lattices with a symmetric difference , 2009 .

[13]  David Moore,et al.  Current Research in Operational Quantum Logic , 2000 .

[14]  Sylvia Pulmannová,et al.  New trends in quantum structures , 2000 .

[15]  Radosiaw Godowski.  STATES ON ORTHOMODULAR LATTICES , 1982 .

[16]  Stanley Gudder,et al.  Stochastic methods in quantum mechanics , 1979 .

[17]  Mi-Mi Kim,et al.  A NOTE ON SYMMETRIC DIFFERENCES OF ORTHOMODULAR LATTICES , 2003 .

[18]  Dov M. Gabbay,et al.  Handbook of Quantum logic and Quantum Structures , 2007 .

[19]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[20]  Roberto Giuntini,et al.  Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics , 2010 .

[21]  Pavel Pták,et al.  Quasivarieties of orthomodular lattices determined by conditions on states , 1999 .