Atomic orthocomplemented lattices
scientific article