
arXiv: 2208.07430
AbstractA class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimbó's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular lattices and homomorphisms is dually equivalent to the category of orthomodular spaces and certain continuous frame morphisms, which we call continuous weak p‐morphisms. It is well‐known that orthomodular lattices provide an algebraic semantics for the quantum logic . Hence, as an application of our duality, we develop a topological semantics for using orthomodular spaces and prove soundness and completeness.
06E15, 06C15 (Primary), 03G12 (Secondary), FOS: Mathematics, Mathematics - Logic, Mathematical logic and foundations, Logic (math.LO)
06E15, 06C15 (Primary), 03G12 (Secondary), FOS: Mathematics, Mathematics - Logic, Mathematical logic and foundations, Logic (math.LO)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
