{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:32:05Z","timestamp":1736314325262,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035637","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:29:25Z","timestamp":1138202965000},"page":"392-405","source":"Crossref","is-referenced-by-count":0,"title":["Error tolerance method in multiple-valued logic"],"prefix":"10.1007","author":[{"given":"Soowoo","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automatic theorem proving","author":"W. Bibel","year":"1987","unstructured":"W. Bibel. Automatic theorem proving. Vieweg Verlag, Braunschweig, 1987."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"W. Bibel. Deduktion \u2014 Automatisierung der Logik. Handbuch der Infotmatik. Oldenbourg, M\u00fcnchen, 1992.","DOI":"10.1515\/9783110701128"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"N.C.A. da Costa, J.J. Lu, and V.S. Subrahmanian. Automatic theorem proving in paraconsistent logics. pages 72\u201386. Foundations and Experimantal Result. Proc. 10th CADE, LNCS, Springer Verlag, 1989.","DOI":"10.1007\/3-540-52885-7_80"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"R. H\u00e4hnle. Uniform notation of tableaux rules for multiple-valued logics. In Proc. intentional Symposium on multiple-valued logics, pages 238\u2013245. IEEE Press, 1991.","DOI":"10.1109\/ISMVL.1991.130736"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"R. H\u00e4hnle. Exploiting data dependencies in many-valed logics. pages 48\u201369. Journal of applied Non-Classiccal Logics, 1996.","DOI":"10.1080\/11663081.1996.10510866"},{"key":"30_CR6","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kiefer","year":"1992","unstructured":"M. Kiefer and V.S. Subiahmanian. Theory of generalized annotated logic programming and its applications. pages 335\u2013367. The journal of Logic Programming 12, 1992.","journal-title":"The journal of Logic Programming"},{"key":"30_CR7","unstructured":"S.W. Lee. Deduktive Realisierung von Vagheit mittels einer mehrwertigen Logik. Erscheinen als Dissertation, Darmstadt, 1997."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"J.J. Lu, N.V. Murray, and E. Rosenthal. Signed formulas and annotated logics. pages 48\u201353. Proc. of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993.","DOI":"10.1109\/ISMVL.1993.289582"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"N.V. Murray, J.J. Lu, and E. Rosenthal. Signed formulas and fuzzy operator logics. pages 75\u201384. Proc. of the 8th International Symposium on Methodologies for Intelligent Systems, 1994.","DOI":"10.1007\/3-540-58495-1_8"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"N.V. Murray and E. Rosenthal. Resolution and path dissolution in multiple-valued logics. pages 570\u2013579. Proc. of the International Symposium on Methodologies for Intelligent Systems, 1991.","DOI":"10.1007\/3-540-54563-8_120"},{"key":"30_CR11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3233\/FI-1994-2135","volume":"21","author":"N.V. Murray","year":"1994","unstructured":"N.V. Murray and E. Rosenthal. Adapting classical inference technique to multiple-valued logics using signed formulas. pages 237\u2013253. Fundamenta Informaticae Journal 21, 1994.","journal-title":"Fundamenta Informaticae Journal"},{"key":"30_CR12","unstructured":"T. Weigert, X.H. Liu, and J.P. Tsai. \u03bb-implication in fuzzy operator logic. pages 259\u2013278. Information Science, 1991."},{"key":"30_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF00881864","volume":"10","author":"T.J. Weigert","year":"1993","unstructured":"T.J. Weigert, J.P. Tsai, and X.H. Liu. Fuzzy operator logic and fuzzy resolution. pages 59\u201378. Journal of Automated Reasoning 10, 1993.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T11:57:48Z","timestamp":1736251068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035637"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0035637","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}