A boolean algebra is a bounded distributive lattice with a complementation operation - such that x ⊓ - x = ⊥ and x ⊔ - x = ⊤. This is a generalization of (classical) logic of propositions, or the powerset lattice.