Orthomodular ordered sets and orthogonal closure spaces
It is proved that orthomodular posets are in a natural one-to-one correspondence with certain residuated structures.
Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice. This correspondence generalizes the well-known bijection between Boolean rings and Boolean algebras. It turns out that orthorings have nice congruence and ideal properties.