distributive lattice
lattice in which the operations of join and meet distribute over each other
Young's lattice
distributive lattice of integer partitions
Boolean algebra
lattice that models the classical propositional logic
De Morgan algebra
system of logic lacking the excluded middle law