Title :
Complete and independent sets of axioms of boolean algebra
Author :
Ninomiya, Tomoko ; Mukaidono, Masao
Author_Institution :
Dept. of international business Adm., Tamagawa Univ., Machida, Japan
Abstract :
We investigate fundamental properties of axioms of Boolean algebra in detail by using the method of indeterminate coefficients, which uses multiple-valued logic. We can prove that four axioms, one of the commutative laws, one of the complementary laws, one of the distributive laws and one of the least element(a), greatest element (b) and the absorption laws are independent from others in the set of fundamental axioms of Boolean algebra. Then we research candidates, including those four axioms and other smaller number of axioms and prove all of those candidates are indeed complete and independent sets of axioms of the algebra.
Keywords :
Boolean algebra; multivalued logic; set theory; Boolean algebra; absorption laws; commutative laws; complementary laws; distributive laws; independent axiom sets; multiple-valued logic; Absorption; Boolean algebra; Computer science; Logic functions;
Conference_Titel :
Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
Print_ISBN :
0-7695-1918-0
DOI :
10.1109/ISMVL.2003.1201402