Orthocomplemented lattices in ordered groups
The author starts from a partially ordered set endowed with the incomparability relation considered as an orthogonality relation. The double orthoclosed subsets then form an orthocomplemented lattice. The structure of atoms of this lattice is investigated. The covering property is characterized using properties of the positive cone.
scientific article; zbMATH DE number 5306265