Abstract
It is proved that an orthocomplemented posetPis an orthomodular lattice if and only if it admits a suitable defined set of order preserving maps. These maps are called projections. They are, in fact, Just the projections of the Baer *-semigroup associated with the orthomodular lattice.

This publication has 2 references indexed in Scilit: