{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T09:52:23Z","timestamp":1779270743515,"version":"3.51.4"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881864","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:34:31Z","timestamp":1104132871000},"page":"59-78","source":"Crossref","is-referenced-by-count":25,"title":["Fuzzy operator logic and fuzzy resolution"],"prefix":"10.1007","volume":"10","author":[{"given":"Thomas J.","family":"Weigert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing-Pha","family":"Tsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuhua","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Introduction to Many Valued Logics","author":"R. Ackermann","year":"1967","unstructured":"Ackermann, R.,Introduction to Many Valued Logics, Dover, New York (1967)."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0025-5564(76)90064-X","volume":"32","author":"J. B. Adams","year":"1976","unstructured":"Adams, J. B., ?Probabilistic reasoning and certainty factors?,Math. Bios. 32, 177?186 (1976).","journal-title":"Math. Bios."},{"key":"CR3","first-page":"133","volume-title":"Fuzzy Reasoning and its Applications","author":"J. F. Baldwin","year":"1981","unstructured":"Baldwin, J. F., ?Fuzzy logic and fuzzy reasoning?, in: E. H. Mamdani and B. R. Gaines (Eds.),Fuzzy Reasoning and its Applications, Academic Press, London (1981), pp. 133?148."},{"key":"CR4","volume-title":"Fuzzy Sets, Theory, and Applications","author":"J. F. Baldwin","year":"1986","unstructured":"Baldwin, J. F., ?Support logic programming?, A. Jones (Ed.)Fuzzy Sets, Theory, and Applications, Reidel, Dordrecht (1986)."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Baldwin, J. F. and Monk, M., ?SLOP ? A system for support logic programming?,I.T.R.C. Research Report, Univ. of Bristol (1986).","DOI":"10.1007\/978-94-009-4682-8_9"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0165-0114(87)90110-2","volume":"24","author":"J. F. Baldwin","year":"1987","unstructured":"Baldwin, J. F., ?Evidential support logic programming?,Fuzzy Sets and Systems 24, 1?26 (1987).","journal-title":"Fuzzy Sets and Systems"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0020-0255(73)90009-1","volume":"5","author":"R. Bellmann","year":"1973","unstructured":"Bellmann, R. and Giertz, M. ?On the analytic formalism of the theory of fuzzy sets?,Inf. Sciences 5, 149?156 (1973).","journal-title":"Inf. Sciences"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-94-010-1161-7_6","volume-title":"Modern Uses of Multiple-Valued Logics","author":"R. Bellmann","year":"1977","unstructured":"Bellmann, R. and Zadeh, L. A., ?Local and fuzzy logics?, in: J. Dunn and G. Epstein (Eds.)Modern Uses of Multiple-Valued Logics D. Reidel, Dordrecht (1977) pp. 103?165."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00244272","volume":"1","author":"A. Bundy","year":"1985","unstructured":"Bundy, A., ?Incidence calculus: a mechanism for probabilistic reasoning?,J. Autom. Reasoning 1, 263?283 (1985).","journal-title":"J. Autom. Reasoning"},{"key":"CR10","unstructured":"Carnap, R.,Logical Foundations of Probability, Univ. Chicago Press (1950)."},{"key":"CR11","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chang, C. and Lee, R.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York (1973)."},{"key":"CR12","volume-title":"Heuristic Reasoning About Uncertainty ? An Artificial Intelligence Approach","author":"P. Cohen","year":"1985","unstructured":"Cohen, P.,Heuristic Reasoning About Uncertainty ? An Artificial Intelligence Approach Morgan Kaufmann, Los Altos (1985)."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Dubois, D. and Prade, H., ?A class of fuzzy measures based on triangular norms?,Int. J. General Systems, 8(1) (1982).","DOI":"10.1080\/03081078208934833"},{"key":"CR14","first-page":"209","volume":"20","author":"D. Dubois","year":"1984","unstructured":"Dubois, D. and Prade, H., ?Criteria aggregation and ranking of alternatives in the framework of fuzzy set theory? in: H. Zimmerman, L. A. Zadeh and B. R. Gaines (Eds.).Stud. Management Sci. 20, 209?240 (1984).","journal-title":"Stud. Management Sci."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Duda, R., Hart, P. and Nilson, N., ?Subjective bayesian methods for rule-based inference systems?, Tech. Note 124, SRI, Menlo Park (1976).","DOI":"10.1145\/1499799.1499948"},{"key":"CR16","first-page":"153","volume-title":"Expert Systems in the Micro-Electronic Age","author":"R. Duda","year":"1981","unstructured":"Duda, R., Gachnig, J. and Hart, P., ?Model design in the prospector consultant system for mineral exploration?, in: D. Michie (Ed.)Expert Systems in the Micro-Electronic Age Univ. Press, Edinburgh, pp. 153?167 (1981)."},{"key":"CR17","volume-title":"Theory of Probbility","author":"B. Finetti de","year":"1974","unstructured":"de Finetti, B.,Theory of Probbility New York, Wiley (1974)."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/BF02123379","volume":"33","author":"R. Giles","year":"1974","unstructured":"Giles, R., ?A Nonclassical Logic for Physics?,Studia Logic 33, 313?327 (1974).","journal-title":"Studia Logic"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/S0020-7373(76)80003-X","volume":"8","author":"R. Giles","year":"1976","unstructured":"Giles, R., ??ukasiewicz logic and fuzzy set theory?,Intl. J. Man-Machine Stud. 8, 313?327 (1976).","journal-title":"Intl. J. Man-Machine Stud."},{"key":"CR20","first-page":"99","volume":"8","author":"M. Ishizuka","year":"1983","unstructured":"Ishizuka, M., Fu, K. and Yao, J., ?Rule-based damage assessment system for existing structures?,Solid Mechanics Archive 8, 99?118 (1983).","journal-title":"Solid Mechanics Archive"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF03037422","volume":"1","author":"M. Ishizuka","year":"1983","unstructured":"Ishizuka, M., ?Inference methods based on extended Dempster and Shafer's theory for problems with uncertainty\/fuzziness?,New Generation Computing 1, 159?186 (1983).","journal-title":"New Generation Computing"},{"key":"CR22","unstructured":"Ishizuke, M. and Kanai, N., ?Prolog-ELF incorporating fuzzy logic?Proc. Ninth IJCAI, pp. 701?703 (1985)."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1402448","volume":"50","author":"D. V. Lindley","year":"1982","unstructured":"Lindley, D. V., ?Scoring rules and the inevitability of probability?,Int. Statistics Rev.,50, 1?16 (1982).","journal-title":"Int. Statistics Rev."},{"key":"CR24","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. and Weigert, Th., ??-resolution and the interpretation of ?-implication in fuzzy operator logic?,Inf. Sci. 56, 259?278 (1991).","journal-title":"Inf. Sci."},{"key":"CR25","volume-title":"Polish Logic","author":"J. ?ukasiewicz","year":"1967","unstructured":"?ukasiewicz, J., ?Many-valued systems of propositional logic?,Polish Logic, Oxford U.P., Oxford (1967)."},{"key":"CR26","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?,JACM 19, 109?119 (1972).","journal-title":"JACM"},{"key":"CR27","first-page":"224","volume-title":"Fuzzy Set and Possibility Theory","author":"M. Mukaidono","year":"1982","unstructured":"Mukaidono, M., ?Fuzzy Inference of resolution style?, in R. Yager (Ed.),Fuzzy Set and Possibility Theory, Pergamon, New York, pp. 224?231 (1982)."},{"key":"CR28","volume-title":"Many Valued Logic","author":"J. Rosser","year":"1952","unstructured":"Rosser, J. and Turquette, A.,Many Valued Logic, North-Holland, Amsterdam (1952)."},{"key":"CR29","volume-title":"The Foundations of Statistics","author":"L. J. Savage","year":"1954","unstructured":"Savage, L. J.,The Foundations of Statistics, New York, Wiley (1954)."},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Shafer, G.,A Mathematical Theory of Evidence, Princeton Univ. Press (1976).","DOI":"10.1515\/9780691214696"},{"key":"CR31","first-page":"89","volume-title":"Fuzzy Computing","author":"Z. Shen","year":"1988","unstructured":"Shen, Z., Ding, L. and Mukaidono, M., ?A theoretical framework of fuzzy prolog machine?, in: M. Gupta and T. Yamakawa (Eds.)Fuzzy Computing, North-Holland, Amsterdam (1988) pp. 89?100."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0025-5564(75)90047-4","volume":"23","author":"E. H. Shortliffe","year":"1975","unstructured":"Shortliffe, E. H. and Buchanan, B. G., ?A model of inexact reasoning in medicine?,Math. Biosci. 23, 351?379 (1975).","journal-title":"Math. Biosci."},{"key":"CR33","volume-title":"Computer-Based Medical Consultation: MYCIN","author":"E. Shortliffe","year":"1976","unstructured":"Shortliffe, E.,Computer-Based Medical Consultation: MYCIN, American Elsevier, New York (1976)."},{"key":"CR34","first-page":"145","volume":"11","author":"S. Weiss","year":"1978","unstructured":"Weiss, S., Kulikowski, C., Amarel, S. and Safir, A., ?A model-based method for computer-aided medical decision-making?,AI 11, 145?172 (1978).","journal-title":"AI"},{"key":"CR35","volume-title":"Fuzzy Sets and Applications","author":"R. Yager","year":"1978","unstructured":"Yager, R., Ovchinnikov, S., Tong, R. and Nguyen, H.,Fuzzy Sets and Applications, Wiley, New York (1978)."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. A. Zadeh","year":"1965","unstructured":"Zadeh, L. A., ?Fuzzy sets?,Inform. Contr. 8, 94?102 (1965).","journal-title":"Inform. Contr."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00485052","volume":"30","author":"L. A. Zadeh","year":"1975","unstructured":"Zadeh, L. A., ?Fuzzy logic and approximate reasoning?,Synthese 30, 407?428 (1975).","journal-title":"Synthese"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(75)90036-5","volume":"8","author":"L. A. Zadeh","year":"1975","unstructured":"Zadeh, L. A., ?The concept of linguistic variables and its application in approximate reasoning?,Inf. Sci. 8 199?249, 301?357 (1975),Inf. Sci. 9, 43?80 (1976).","journal-title":"Inf. Sci."},{"key":"CR39","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/B978-0-444-70058-2.50012-7","volume-title":"Uncertainty in Artificial Intelligence","author":"L. A. Zadeh","year":"1986","unstructured":"Zadeh, L. A., ?Is probability theory sufficient for dealing with uncertainty in AI?? in: L. Kanal and J. Lemmer (Eds.)Uncertainty in Artificial Intelligence, North-Holland, Amsterdam, pp. 103?116 (1986)."},{"key":"CR40","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-1-4612-4792-0_5","volume-title":"The Knowledge Frontier","author":"L. A. Zadeh","year":"1987","unstructured":"Zadeh, L. A., ?Commonsense and fuzzy logic?, in: N. Cercone and G. McCalla (Eds.)The Knowledge Frontier, Springer, New York, pp. 103?136 (1987)."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881864.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881864\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T04:03:28Z","timestamp":1682913808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881864"],"URL":"https:\/\/doi.org\/10.1007\/bf00881864","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}