35 citations · 47 across the 13 of their papers we have counts for
Showing math.QAShow all
2 papers · 1 filter
math.QA2017★ 7 cited
Boolean subalgebras of orthoalgebras
John Harding, Chris Heunen, Bert Lindenhovius +1
We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to character…
math.QA2013
Sections in orthomodular structures of decompositions
John Harding, Taewon Yang
There is a family of constructions to produce orthomodular structures from modular lattices, lattices that are M and M*-symmetric, relation algebras, the idempotents of a ring, the…