Independence of the axioms of Boolean algebra in multiple-valued logic | IEEE Conference Publication | IEEE Xplore