{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:15:56Z","timestamp":1742800556297,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584957"},{"type":"electronic","value":"9783540490104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58495-1_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:33:51Z","timestamp":1330274031000},"page":"75-84","source":"Crossref","is-referenced-by-count":8,"title":["Signed formulas and fuzzy operator logics"],"prefix":"10.1007","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[]},{"given":"Neil V.","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TFUZZ.1993.6027269","volume":"1","author":"J. C. Bezdek","year":"1993","unstructured":"Bezdek, J. C., Fuzzy models \u2014 what are they, and why?, IEEE Transactions on Fuzzy Systems, 1, 1 (1993), 1\u20136.","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"Blair, H.A. and Subrahmanian, V.S., Paraconsistent logic programming, Theoretical Computer Science, 68 (1989), 135\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Doherty, P., Preliminary report: NM3 \u2014 A three-valued non-monotonic formalism. Proc. of the 5 th International Symposium on Methodologies for Intelligent Systems, (1990), 498\u2013505.","DOI":"10.1007\/BFb0018442"},{"key":"8_CR4","unstructured":"Gaines, B. R., Foundations of fuzzy reasoning, Fuzzy Automata and Decision Processes (Gupta, M.M., Saridis, G.N., Gaines, B.R eds.), North-Holland (1977), 19\u201375."},{"key":"8_CR5","unstructured":"H\u00e4hnle, R., Uniform notation tableau rules for multiple-valued Logics, Proc. of the International Symposium on Multiple-Valued Logic, (1991), 26\u201329."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Automated Proof Search in Multiple-Valued Logics, Oxford University Press (1993).","DOI":"10.1093\/oso\/9780198539896.001.0001"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Lozinskii, E., RI: A logic for reasoning with inconsistency, IEEE Symposium on Logic in Computer Science (1989), 253\u2013262.","DOI":"10.1109\/LICS.1989.39180"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Lozinskii, E., A logic for reasoning with inconsistency, Journal of Automated Reasoning 9 (1992), 179\u2013215.","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Subrahmanian, V.S., Theory of generalized annotated logic programming and its applications, the Journal of Logic Programming 12 (1992), 335\u2013367.","journal-title":"the Journal of Logic Programming"},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","volume":"19","author":"R. Lee","year":"1972","unstructured":"Lee, R., Fuzzy logic and the resolution principle. J. ACM 19 (1972), 109\u2013119.","journal-title":"J. ACM"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0020-0255(91)90033-Q","volume":"56","author":"X.H. Liu","year":"1991","unstructured":"Liu, X.H., Tsai, J.P., Weigert, T., \u03bb-resolution and the interpretation of \u03bb-implication in fuzzy operator logic, Information Science 56 (1991), 259\u2013278.","journal-title":"Information Science"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Lu, J.J., Murray, N.V., Rosenthal, E., Signed formulas and annotated logics, Proc. of the 23rd IEEE International Symposium on Multiple-Valued Logic, (1993), 48\u201353.","DOI":"10.1109\/ISMVL.1993.289582"},{"key":"8_CR13","first-page":"224","volume-title":"Fuzzy Set and Possibility Theory","author":"M. Mukaidono","year":"1982","unstructured":"Mukaidono, M., Fuzzy inference of resolution style, in Fuzzy Set and Possibility Theory, R. Yager (Ed.), Pergamon, NY (1982), 224\u2013231."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Murray, N.V. and Rosenthal, E., Improving tableaux proofs in multiple-valued logic, Proc. of the 11 th International Symposium on Multiple-Valued Logic (1991), 230\u2013237.","DOI":"10.1109\/ISMVL.1991.130735"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Murray, N. V. and Rosenthal, E., Resolution and path dissolution in multiple-valued logics, Proc. of the 6 th International Symposium on Methodologies for Intelligent Systems, Springer v.542 (1991), 570\u2013579.","DOI":"10.1007\/3-540-54563-8_120"},{"key":"8_CR16","volume-title":"Presented at the 1992 summer meeting of the ASL","author":"N. V. Murray","year":"1991","unstructured":"Murray, N. V. and Rosenthal, E., Signed formulas: a classical approach to multiple-valued logics, TR91-12 (1991), SUNY at Albany. Presented at the 1992 summer meeting of the ASL."},{"key":"8_CR17","first-page":"37","volume":"2","author":"W. Such\u00f3n","year":"1974","unstructured":"Such\u00f3n, W., La m\u00e9thode de Smullyan de construire le calcul n-valent de Lukasiewicz avec implication et n\u00e9gation. Reports on Mathematical Logic, Universities of Cracow and Katowice (1974) 2, 37\u201342.","journal-title":"Reports on Mathematical Logic, Universities of Cracow and Katowice"},{"key":"8_CR18","first-page":"143","volume-title":"Computer Science and Multiple-Valued Logics","author":"S. J. Surma","year":"1984","unstructured":"Surma, S. J., An algorithm for axiomatizing every finite logic. In Computer Science and Multiple-Valued Logics, David C. Rine, Ed., North-Holland, Amsterdam, (1984), 143\u2013149."},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF00881864","volume":"10","author":"T. J. Weigert","year":"1993","unstructured":"Weigert, T. J., Tsai, J.P., Liu, X.H., Fuzzy operator logic and fuzzy resolution, J. Automated Reasoning 10 (1993), 59\u201378.","journal-title":"J. Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58495-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:35:20Z","timestamp":1742596520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58495-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584957","9783540490104"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58495-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}