Axioms for lattices and boolean algebra - Padmanbhan, R (2008)