DocumentCode
2089572
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
fYear
2000
fDate
2000
Firstpage
107
Lastpage
112
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
Conference_Location
Portland, OR
ISSN
0195-623X
Print_ISBN
0-7695-0692-5
Type
conf
DOI
10.1109/ISMVL.2000.848607
Filename
848607
Link To Document