{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T07:37:11Z","timestamp":1781163431790,"version":"3.54.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Ser. F-Inf. Sci."],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1007\/s11432-007-0067-9","type":"journal-article","created":{"date-parts":[[2007,11,17]],"date-time":"2007-11-17T09:41:41Z","timestamp":1195292501000},"page":"867-877","source":"Crossref","is-referenced-by-count":9,"title":["Randomization of classical inference patterns and its application"],"prefix":"10.1007","volume":"50","author":[{"given":"GuoJun","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"XiaoJing","family":"Hui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"67_CR1","volume-title":"A Primer of Probability Logic","author":"E. W. Adams","year":"1998","unstructured":"Adams E W. A Primer of Probability Logic. Stanford: CSLI Publications, 1998"},{"key":"67_CR2","volume-title":"Sentential Probability Logic","author":"T. Hailperin","year":"1996","unstructured":"Hailperin T. Sentential Probability Logic. London: Associated University Press, 1996"},{"key":"67_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0474-9","volume-title":"Probabilistic Logic in a Coherent Setting","author":"G. Coletti","year":"2002","unstructured":"Coletti G, Scozzafava R. Probabilistic Logic in a Coherent Setting. London: Kluwer Academic Publishers, 2002"},{"key":"67_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1023\/A:1016740830286","volume":"32","author":"D. Dubois","year":"2001","unstructured":"Dubois D, Prade H. Possibility theory, probability theory and multiple-valued logics. Anna Math Artif Intell, 2001, 32: 35\u201366","journal-title":"Anna Math Artif Intell"},{"key":"67_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1023\/A:1014585822798","volume":"35","author":"M. Baioletti","year":"2002","unstructured":"Baioletti M, Capotopti A, et al. Simplification rules for the coherent probability assessment problem. Ann Math Artif Intell, 2002, 35: 11\u201328","journal-title":"Ann Math Artif Intell"},{"key":"67_CR6","volume-title":"The Foundation of Probability","author":"N. Kolmogorov","year":"1950","unstructured":"Kolmogorov N. The Foundation of Probability. New York: Chelsea Publishing Company, 1950"},{"issue":"2","key":"67_CR7","first-page":"191","volume":"32","author":"G. J. Wang","year":"2006","unstructured":"Wang G J. Quantified logic (I). Chinese J Engin Math (in Chinese), 2006, 32(2): 191\u2013215","journal-title":"Chinese J Engin Math (in Chinese)"},{"key":"67_CR8","volume-title":"Introduction to Mathematical Logic and Resolution Principle (in Chinese)","author":"G. J. Wang","year":"2006","unstructured":"Wang G J. Introduction to Mathematical Logic and Resolution Principle (in Chinese). 2nd ed. Beijing: Science Press, 2006","edition":"2nd ed."},{"issue":"1","key":"67_CR9","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0165-0114(02)00328-7","volume":"136","author":"G. J. Wang","year":"2003","unstructured":"Wang G J, Leung Y. Integrated semantics and logic metric space. Fuzzy Sets Syst, 2003, 136(1): 71\u201391","journal-title":"Fuzzy Sets Syst"},{"issue":"9","key":"67_CR10","doi-asserted-by":"crossref","first-page":"1106","DOI":"10.1360\/02ys9122","volume":"45","author":"G. J. Wang","year":"2002","unstructured":"Wang G J, Fu L, Song J S. Theory of truth degrees of propositions in two-valued propositional logic. Sci China Ser A-Math, 2002, 45(9): 1106\u20131116","journal-title":"Sci China Ser A-Math"},{"issue":"1","key":"67_CR11","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1142\/S1793005705000044","volume":"1","author":"G. J. Wang","year":"2005","unstructured":"Wang G J. Comparison of deduction theorems in diverse logic systems. New Math Nat Comput, 2005, 1(1): 65\u201377","journal-title":"New Math Nat Comput"},{"issue":"6","key":"67_CR12","first-page":"727","volume":"45","author":"B. J. Li","year":"2005","unstructured":"Li B J, Wang G J. Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem. Sci China Ser F-Inf Sci, 2005, 45(6): 727\u2013736","journal-title":"Sci China Ser F-Inf Sci"},{"issue":"1","key":"67_CR13","first-page":"1","volume":"33","author":"G. J. Wang","year":"2005","unstructured":"Wang G J, Qin X Y, Zhou X N. Theory of quasi-truth degrees of a kind of formulas in predicate logic. J Shaanxi Normal Univ (in Chinese), 2005, 33(1): 1\u20136","journal-title":"J Shaanxi Normal Univ (in Chinese)"},{"issue":"2","key":"67_CR14","first-page":"252","volume":"34","author":"G. J. Wang","year":"2006","unstructured":"Wang G J, Song J S. Graded method in propositional logic. Acta Electr Sin (in Chinese), 2006, 34(2): 252\u2013257","journal-title":"Acta Electr Sin (in Chinese)"},{"key":"67_CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka J. On fuzzy logic I. II. III. Z. Math. Logic Grundlagen Math, 1979, 25: 45\u201352; 119\u2013134; 447\u2013464","journal-title":"Z. Math. Logic Grundlagen Math"},{"key":"67_CR16","doi-asserted-by":"crossref","first-page":"830","DOI":"10.2307\/2275910","volume":"59","author":"M. S. Ying","year":"1994","unstructured":"Ying M S. A logic for approximate reasoning. J Symb Logic, 1994, 59: 830\u2013837","journal-title":"J Symb Logic"},{"issue":"1","key":"67_CR17","first-page":"43","volume":"29","author":"G. J. Wang","year":"1999","unstructured":"Wang G J. The full implication triple I method for fuzzy reasoning. Sci China Ser E, 1999, 29(1): 43\u201353","journal-title":"Sci China Ser E"},{"key":"67_CR18","doi-asserted-by":"crossref","first-page":"923","DOI":"10.1016\/j.camwa.2004.01.019","volume":"49","author":"G. J. Wang","year":"2005","unstructured":"Wang G J, Fu L. Unified forms of Triple I method. Comput Math Appl, 2005, 49: 923\u2013932","journal-title":"Comput Math Appl"},{"issue":"2","key":"67_CR19","first-page":"58","volume":"32","author":"S. J. Song","year":"2002","unstructured":"Song S J, Wu C. The reverse Triple I method of fuzzy reasoning. Sci China Ser E (in Chinese), 2002, 32(2): 58\u201366","journal-title":"Sci China Ser E (in Chinese)"},{"key":"67_CR20","doi-asserted-by":"crossref","first-page":"1567","DOI":"10.1016\/S0898-1221(02)00279-1","volume":"44","author":"S. J. Song","year":"2002","unstructured":"Song S J, Feng C B, Lee E S. Triple I method of fuzzy reasoning. Comput Math Appl, 2002, 44: 1567\u20131579","journal-title":"Comput Math Appl"},{"key":"67_CR21","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/S0020-0255(02)00406-1","volume":"152","author":"D. W. Pei","year":"2003","unstructured":"Pei D W, Wang G J. The extensions L*n of formal systems L* and their completeness. Inf Sci, 2003, 152: 155\u2013166","journal-title":"Inf Sci"},{"issue":"4","key":"67_CR22","first-page":"404","volume":"15","author":"J. Y. Peng","year":"2005","unstructured":"Peng J Y, Hou J, Li H X. Reverse triple I methods based on some commonly used implication operators. Prog Nat Sci (in Chinese), 2005, 15(4): 404\u2013410","journal-title":"Prog Nat Sci (in Chinese)"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0067-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-007-0067-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0067-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T05:58:50Z","timestamp":1708322330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-007-0067-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["67"],"URL":"https:\/\/doi.org\/10.1007\/s11432-007-0067-9","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}