Semi-orthoposets (Q1919233)

The author studies semi-orthoposets (i.e., partially ordered sets with an orthocomplement operation) as quantum logics. He first studies morphisms, showing that partially defined morphisms can be extended to full morphisms. Then he shows that each semi-orthoposet admits an order-determining set of morphisms. Furthermore, he applies these results to obtain tensor products in the category of semi-orthoposets. The latter result generalizes the tensor product construction in orthoalgebras [see \textit{D. J. Foulis, M. K. Bennett}, Order 10, 271-282 (1993; Zbl 0798.06015)].