Posets and Lattices
Davide Ciucci, Gianpiero Cattaneo · Wiley Encyclopedia of Computer Science and Engineering · 2008
Abstract The basic notions of posets and lattices are introduced with a wide presentation of examples. In particular, distributive and modular lattices are treated. With respect to the distributive behavior, we discuss Boolean algebras with the associated orthocomplementation mapping. General orthoalgebras are also investigated with application to the quantum logic of subspaces of a finite dimensional Hilbert space.