{"title":"Independence of the axioms of Boolean algebra in multiple-valued logic","authors":"T. Ninomiya, M. Mukaidono","doi":"10.1109/ISMVL.2000.848607","DOIUrl":null,"url":null,"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.","PeriodicalId":334235,"journal":{"name":"Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)","volume":"147 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2000.848607","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6
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.