Finite pseudocomplemented lattices and ``permutoedre'' (Q686451)

The authors summarize, without proof, their results on the structure of finite meet pseudocomplemented, meet and join pseudocomplemented, and pseudocomplemented and complemented lattices. Some sample results are as follows. A finite lattice is a meet pseudocomplemented lattice if and only if each atom has a meet pseudocomplement, and a finite meet pseudocomplemented lattice is complemented if and only if the join of the atoms is 1.