Orthomodular Posets Can Be Organized as Conditionally Residuated Structures
It is proved that orthomodular posets are in a natural one-to-one correspondence with certain residuated structures.
It is proved that orthomodular posets are in a natural one-to-one correspondence with certain residuated structures.
In the present paper we deal with the existence of large homogeneous partially ordered sets having the property described in the title.