1. An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities;Boole,1854
2. A Course in Universal Algebra;Burris,1981
3. Sets of independent postulates for the algebra of logic;Huntington;Trans. Amer. Math. Soc.,1904
4. On bounded lattices satisfying Elkan’s law;Kondo;Soft Comput.,2008
5. L. Kwuida, Axiomatization of Boolean algebras via weak dicomplemen- tations, arXiv:0907.1279, 2009.