{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T06:25:11Z","timestamp":1747290311698},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_24","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"395-411","source":"Crossref","is-referenced-by-count":2,"title":["Fuzzifying Modal Algebra"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J. Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene Algebra with Domain. ACM Transactions on Computational Logic\u00a07, 798\u2013833 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2010.05.007","volume":"76","author":"J. Desharnais","year":"2011","unstructured":"Desharnais, J., Struth, G.: Internal axioms for domain semirings. Sci. Comput. Program.\u00a076, 181\u2013203 (2011)","journal-title":"Sci. Comput. Program."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Esteva, F., Godo, L., Garc\u00eda-Cerda\u00f1a, \u00c0.: On the hierarchy of t-norm based residuated fuzzy logics. In: Fitting, M., Or\u0142owska, E. (eds.) Beyond Two, pp. 251\u2013272. Physica (2003)","DOI":"10.1007\/978-3-7908-1769-0_11"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Hajek, P.: The Metamathematics of Fuzzy Logic. Kluwer (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-012-0245-4","volume":"24","author":"P. H\u00f6fner","year":"2012","unstructured":"H\u00f6fner, P., M\u00f6ller, B.: Dijkstra, Floyd and Warshall meet Kleene. Formal Asp. Comput.\u00a024, 459\u2013476 (2012)","journal-title":"Formal Asp. Comput."},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/11828563_17","volume-title":"Relations and Kleene Algebra in Computer Science","author":"Y. Kawahara","year":"2006","unstructured":"Kawahara, Y.: On the Cardinality of Relations. In: Schmidt, R.A. (ed.) RelMiCS\/AKA 2006. LNCS, vol.\u00a04136, pp. 251\u2013265. Springer, Heidelberg (2006)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.scico.2006.01.010","volume":"65","author":"B. M\u00f6ller","year":"2007","unstructured":"M\u00f6ller, B.: Kleene getting lazy. Sci. Comput. Program.\u00a065, 195\u2013214 (2007)","journal-title":"Sci. Comput. Program."},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-31113-0_13","volume-title":"Mathematics of Program Construction","author":"B. M\u00f6ller","year":"2012","unstructured":"M\u00f6ller, B., Roocks, P., Endres, M.: An Algebraic Calculus of Database Preferences. In: Gibbons, J., Nogueira, P. (eds.) MPC 2012. LNCS, vol.\u00a07342, pp. 241\u2013262. Springer, Heidelberg (2012)"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1093\/comjnl\/bxs140","volume":"56","author":"B. M\u00f6ller","year":"2013","unstructured":"M\u00f6ller, B.: Modal Knowledge and Game Semirings. Computer Journal\u00a056, 53\u201369 (2013)","journal-title":"Computer Journal"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.fss.2012.11.008","volume":"222","author":"W. Morton","year":"2013","unstructured":"Morton, W., van Alten, C.: Modal MTL-algebras. Fuzzy Sets and Systems\u00a0222, 58\u201377 (2013)","journal-title":"Fuzzy Sets and Systems"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1090\/S0002-9904-1934-06003-8","volume":"40","author":"H. Vandiver","year":"1934","unstructured":"Vandiver, H.: Note on a simple type of algebra in which the cancellation law of addition does not hold. Bulletin of the American Mathematical Society\u00a040, 914\u2013920 (1934)","journal-title":"Bulletin of the American Mathematical Society"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:24:35Z","timestamp":1558880675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}