{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:41:39Z","timestamp":1729647699337,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2003.1201402","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"169-174","source":"Crossref","is-referenced-by-count":5,"title":["Complete and independent sets of axioms of Boolean algebra"],"prefix":"10.1109","author":[{"given":"T.","family":"Ninomiya","sequence":"first","affiliation":[]},{"given":"M.","family":"Mukaidono","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"311","article-title":"Fundamental properties on axioms of Kleene algebra","author":"ninomiya","year":"0","journal-title":"Lecture Notes in Artificial Intelligence 1932 Foundations of Intelligent Systems Springer Oct 2000"},{"key":"2","first-page":"125","article-title":"Clarifying the axioms of kleene algebra based on the method of indeterminate coefficients","author":"ninomiya","year":"0","journal-title":"Proceedings of the 29th International Symposium on Multiple-Valued Logic IEEE May 1999"},{"key":"1","first-page":"228","article-title":"Synthesis of axiom systems for the three-valued predicate logic by means of special four logic","author":"goto","year":"0","journal-title":"Proceedings of the 13th International Symposium on Multiple-Valued Logic IEEE May 1984"},{"article-title":"Switching theory","year":"1972","author":"nozaki","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1951-003-5"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2002.1011088"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848607"},{"key":"9","first-page":"27","article-title":"A set of independent and complete axioma for a fuzzy algebra (Kleene Algebra)","author":"mukaidono","year":"0","journal-title":"Proceedings of the 11th International Symposium on Multiple-Valued Logic IEEE May 1981"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9947-1904-1500675-4","article-title":"The algebra of logic","volume":"5","author":"huntington","year":"1904","journal-title":"Trans American Math Soc"}],"event":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003.","location":"Meiji University, Tokyo, Japan"},"container-title":["33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8551\/27046\/01201402.pdf?arnumber=1201402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:15:30Z","timestamp":1497600930000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201402\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2003.1201402","relation":{},"subject":[]}}