{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:12Z","timestamp":1725663852417},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540567356"},{"type":"electronic","value":"9783540476436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56735-6_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:29:16Z","timestamp":1330255756000},"page":"101-108","source":"Crossref","is-referenced-by-count":1,"title":["Integrating resolution\u2014like procedures with Lukasiewicz implication"],"prefix":"10.1007","author":[{"given":"Gughelmo","family":"Tamburrini","sequence":"first","affiliation":[]},{"given":"Settimo","family":"Termini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"10_CR1","first-page":"109","volume":"19","author":"R.C.T. Lee","year":"1972","unstructured":"R.C.T. LEE (1972), Fuzzy Logic and the Resolution Principle, Journal A.C.M.\n19, 109\u2013119.","journal-title":"Journal A.C.M."},{"key":"10_CR2","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 (1965), Fuzzy Sets, Information and Control\n8, 338\u2013353.","journal-title":"Information and Control"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0888-613X(89)90005-4","volume":"3","author":"M. Mukaidono","year":"1989","unstructured":"M. MUKAIDONO et al. (1989), Fundamentals of Fuzzy Prolog, International J. of Approximate Reasoning\n3, 179\u2013193.","journal-title":"International J. of Approximate Reasoning"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"J. PAVELKA (1979) On Fuzzy Logic, I, II, III\nZeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\n25, 45\u201352, 119\u2013134, 447\u2013464.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10_CR5","first-page":"23","volume":"12","author":"J.A. ROBINSON","year":"1965","unstructured":"J.A. ROBINSON (1965), A Machine-oriented Logic Based on the Resolution Principle Journal A.C.M.\n12, 23\u201341.","journal-title":"Journal A.C.M."},{"key":"10_CR6","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"C.L. CHANG and R.C.T. LEE (1973), Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York."},{"key":"10_CR7","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. KLEENE (1952), Introduction to Metamathematics, Noordhoff, Groningen."},{"key":"10_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6309-2","volume-title":"Aspects of Vagueness","author":"H.J. Skala","year":"1984","unstructured":"H.J. SKALA, S. TERMINI and E. TRILLAS (1984), Aspects of Vagueness, D. Reidel, Dordrecht."}],"container-title":["Lecture Notes in Computer Science","IPMU '92\u2014Advanced Methods in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56735-6_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:50Z","timestamp":1619571290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56735-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540567356","9783540476436"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-56735-6_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}