Tomoko Ninomiya, Masao Mukaidono. Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. In 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA. pages 185-191, IEEE Computer Society, 2002. [doi]
Abstract is missing.