Complete and independent sets of axioms of boolean algebra | IEEE Conference Publication | IEEE Xplore