{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:36:08Z","timestamp":1725489368503},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410942"},{"type":"electronic","value":"9783540399636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39963-1_33","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:54:19Z","timestamp":1187250859000},"page":"311-320","source":"Crossref","is-referenced-by-count":1,"title":["Fundamental Properties on Axioms of Kleene Algebra"],"prefix":"10.1007","author":[{"given":"Tomoko","family":"Ninomiya","sequence":"first","affiliation":[]},{"given":"Masao","family":"Mukaidono","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,2]]},"reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"J. A. Kalman","year":"1958","unstructured":"J. A. Kalman, Lattice with involution, Trans. Amer. Math. Soc. 87, pp.485\u2013491, 1958","journal-title":"Trans. Amer. Math. Soc."},{"key":"33_CR2","unstructured":"R. Balbes and P. Dwinger, Distributive Lattices, University of Missouri Press, pp.215, 1974"},{"key":"33_CR3","unstructured":"D. Brignole and A. Monteiro, Caracterisation des algebras de Nelson par des egalites, Notas de Logica Matematica, Instituto de Matematica Universidad del sur Bahia Blanca, 20, 1964"},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. A. Zadeh","year":"1965","unstructured":"L. A. Zadeh, Fuzzy sets, Information Control, 8, pp.338, 1965","journal-title":"Information Control"},{"key":"33_CR5","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/S0022-0000(72)80011-4","volume":"6","author":"F. P. Preparata","year":"1972","unstructured":"F. P. Preparata and R. T. Yeh, Continuously valued logic, J. of Computer and Systems Science, 6. pp.397, 1972","journal-title":"J. of Computer and Systems Science"},{"key":"33_CR6","unstructured":"M. Mukaidono, On some properties of fuzzy logic, Systems \u00b7Computers \u00b7Controls, Vol.6, No.2, 1975"},{"key":"33_CR7","unstructured":"M. Mukaidono, A set of independent and complete axioms for a fuzzy algebra (Kleene algebra), Proceedings of The 8th International Symposium on Multiple-Valued Logic, IEEE, 1981"},{"key":"33_CR8","unstructured":"M. Mukaidono, New canonical forms and their applications to enumerating fuzzy switching functions, Proceedings of the 12th International Symposium on Multiple-Valued Logic,IEEE,pp.275\u2013279,1982"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0898-1221(84)90083-X","volume":"10","author":"J. Bermann","year":"1984","unstructured":"J. Bermann and M. Mukaidono, Enumerating Fuzzy Switching Functions and Free Kleene Algebras, International Journal of Computer and Mathematics with Applications, Pergamon Press, Vol.10, No.1, pp.25\u201335, 1984","journal-title":"International Journal of Computer and Mathematics with Applications"},{"key":"33_CR10","unstructured":"Masao Mukaidono, The representation and minimization of fuzzy switching functions, The Analysis of Fuzzy Information,Vol.1, edited by J. C. Bezdek, CRC Press, pp.213\u2013229, 1987"},{"key":"33_CR11","unstructured":"M. Goto, S. Kao and T. Ninomiya, Determination of many-valued truth tables for undefined operators in axioms by a computer and their applications, Proceedings of the 7th International Symposium on Multiple-Valued Logic, IEEE, 1977"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"T. Ninomiya and M. Mukaidonbo, Clarifying the axioms of Kleene algebra based on the method of indeterminate coefficients, Proceedings of the 29th International Symposium on Multiple-Valued Logic, IEEE, 1999","DOI":"10.1109\/ISMVL.1999.779706"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"T. Ninomiya and M. Mukaidonbo, Independence of the axioms of Boolean algebra in multiple-valued logic, Proceedings of the 30th International Symposium on Multiple-Valued Logic, IEEE, 2000","DOI":"10.1109\/ISMVL.2000.848607"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39963-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T02:46:46Z","timestamp":1550803606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39963-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410942","9783540399636"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-39963-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}