Title :
Independence of the axioms of Boolean algebra in multiple-valued logic
Author :
Ninomiya, Tomoko ; Mukaidono, Masao
Author_Institution :
Inf. Sci. Center, Meiji Univ., Japan
Abstract :
We apply the Method of Indeterminate Coefficients to examine independence of some sets of axioms of Boolean algebra and to list up some candidates of independent and complete sets of axioms of Boolean algebra. And we prove for some of these candidates that they are in fact independent and complete
Keywords :
Boolean algebra; multivalued logic; Boolean algebra; Method of Indeterminate Coefficients; multiple-valued logic; Boolean algebra; Electrical capacitance tomography; Equations; Logic functions; Read only memory;
Conference_Titel :
Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
Conference_Location :
Portland, OR
Print_ISBN :
0-7695-0692-5
DOI :
10.1109/ISMVL.2000.848607
