{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:12:55Z","timestamp":1725487975965},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_35","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T15:16:31Z","timestamp":1185290191000},"page":"336-347","source":"Crossref","is-referenced-by-count":1,"title":["Multi-valued Logics, Effectiveness and Domains"],"prefix":"10.1007","author":[{"given":"Giangiacomo","family":"Gerla","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/s001530100128","volume":"41","author":"L. Biacino","year":"2002","unstructured":"Biacino, L., Gerla, G.: Fuzzy logic, continuity and effectiveness. Archive for Mathematical Logic\u00a041, 643\u2013667 (2002)","journal-title":"Archive for Mathematical Logic"},{"key":"35_CR2","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00372547","volume":"46","author":"G. Gerla","year":"1987","unstructured":"Gerla, G.: Decidability, partial decidability and sharpness relation for L-subsets. Studia Logica\u00a046, 227\u2013238 (1987)","journal-title":"Studia Logica"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.2178\/jsl\/1140641166","volume":"71","author":"G. Gerla","year":"2006","unstructured":"Gerla, G.: Effectiveness and Multivalued Logics. Journal of Symbolic Logic\u00a071, 137\u2013162 (2006)","journal-title":"Journal of Symbolic Logic"},{"key":"35_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9660-2","volume-title":"Fuzzy logic: Mathematical tools for approximate reasoning","author":"G. Gerla","year":"2001","unstructured":"Gerla, G.: Fuzzy logic: Mathematical tools for approximate reasoning. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00485654","volume":"19","author":"J.A. Goguen","year":"1968","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese\u00a019, 325\u2013373 (1968\/69)","journal-title":"Synthese"},{"key":"35_CR6","volume-title":"A treatise on many-valued logics","author":"S. Gottwald","year":"2000","unstructured":"Gottwald, S.: A treatise on many-valued logics. Research Studies Press, Baldock (2000)"},{"key":"35_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"35_CR8","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/0020-0255(69)90025-5","volume":"1","author":"E.T. Lee","year":"1969","unstructured":"Lee, E.T., Zadeh, L.A.: Note on fuzzy languages. Information Science\u00a01, 421\u2013434 (1969)","journal-title":"Information Science"},{"key":"35_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0020-0255(73)90002-9","volume":"5","author":"M. Mizumoto","year":"1973","unstructured":"Mizumoto, M., Toyoda, J., Tanaka, K.: \u2115-fold fuzzy grammars. Information Science\u00a05, 25\u201343 (1973)","journal-title":"Information Science"},{"key":"35_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1011958407631","volume":"68","author":"F. Montagna","year":"2001","unstructured":"Montagna, F.: Three complexity problems in quantified fuzzy logic. Studia Logica\u00a068, 143\u2013152 (2001)","journal-title":"Studia Logica"},{"key":"35_CR11","volume-title":"Algebraic foundations of many-valued reasoning","author":"D. Mundici","year":"2000","unstructured":"Mundici, D., Cignoli, R., D\u2019Ottaviano, I.: Algebraic foundations of many-valued reasoning. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"35_CR12","volume-title":"Mathematical principles of fuzzy logic","author":"V. Novak","year":"2000","unstructured":"Novak, V., Perfilieva, I., Mockor, J.: Mathematical principles of fuzzy logic. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"35_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic I: Many-valued rules of inference. Zeitschrift f\u00fcr Mathemathische Logik und Grundlagen der Mathematik\u00a025, 45\u201352 (1979)","journal-title":"Zeitschrift f\u00fcr Mathemathische Logik und Grundlagen der Mathematik"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/0022-247X(72)90250-8","volume":"37","author":"E.S. Santos","year":"1972","unstructured":"Santos, E.S.: Max-Product Machines. J. of Math. Anal. Appl.\u00a037, 677\u2013686 (1972)","journal-title":"J. of Math. Anal. Appl."},{"key":"35_CR15","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"M. Smyth","year":"1977","unstructured":"Smyth, M.: Effectively given domains. Theoretical Computer Science\u00a05, 257\u2013274 (1977)","journal-title":"Theoretical Computer Science"},{"key":"35_CR16","first-page":"1","volume":"21","author":"J. Wiedermann","year":"2002","unstructured":"Wiedermann, J.: Fuzzy Turing Machines revised. Inform. and Computing\u00a021, 1\u201313 (2002)","journal-title":"Inform. and Computing"},{"key":"35_CR17","first-page":"62","volume":"5","author":"L.A. Zadeh","year":"1968","unstructured":"Zadeh, L.A.: Fuzzy algorithms. Information and Control\u00a05, 62\u201394 (1968)","journal-title":"Information and Control"},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning I, II, III, Information Sciences, 8, 9 pp. 199\u2013275, pp. 301\u2013357, pp. 43\u201380 (1975)","DOI":"10.1016\/0020-0255(75)90046-8"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:18:04Z","timestamp":1556713084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}