{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,21]],"date-time":"2024-07-21T19:11:42Z","timestamp":1721589102580},"reference-count":15,"publisher":"Science China Press., Co. Ltd.","issue":"1","license":[{"start":{"date-parts":[[2002,2,1]],"date-time":"2002-02-01T00:00:00Z","timestamp":1012521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2002,2,1]],"date-time":"2002-02-01T00:00:00Z","timestamp":1012521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci China Ser F"],"published-print":{"date-parts":[[2002,2]]},"DOI":"10.1360\/02yf9003","type":"journal-article","created":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T17:44:19Z","timestamp":1696873459000},"page":"40-50","source":"Crossref","is-referenced-by-count":19,"title":["The completeness and applications of the formal system \u2112*"],"prefix":"10.1360","volume":"45","author":[{"given":"Daowu","family":"Pei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guojun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"294","reference":[{"key":"451040_CR1","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. A. Zadeh","year":"1965","unstructured":"Zadeh, L. A., Fuzzy sets, Inform. Contr., 1965, 8: 338\u2013353.","journal-title":"Inform. Contr."},{"key":"451040_CR2","first-page":"28","volume":"1","author":"L. A. Zadeh","year":"1973","unstructured":"Zadeh, L. A., Outline of a new approach to the analysis of complex systems and decision processes, IEEE Trans. S. M. C., 1973, 1: 28\u201344.","journal-title":"IEEE Trans. S. M. C."},{"issue":"4","key":"451040_CR3","first-page":"1","volume":"9","author":"Hongxing Li","year":"1995","unstructured":"Li Hongxing, Look the success of fuzzy logic through the mathematical essence of fuzzy control,Fuzzy System and Mathematics, 1995, 9(4): 1\u201314.","journal-title":"Fuzzy System and Mathematics"},{"key":"451040_CR4","doi-asserted-by":"publisher","first-page":"830","DOI":"10.2307\/2275910","volume":"59","author":"Mingsheng Ying","year":"1994","unstructured":"Ying Mingsheng, A logic for approximate reasoning, J. Symbolic Logic, 1994, 59: 830\u2013837.","journal-title":"J. Symbolic Logic"},{"key":"451040_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0020-0255(98)10053-1","volume":"114","author":"Y. Xu","year":"1999","unstructured":"Xu, Y., Qin, K., Liu, J. et al., L-valued propositional logicL\n                  vpl, Inform. Sci., 1999, 114: 205\u2013235.","journal-title":"Inform. Sci."},{"issue":"18","key":"451040_CR6","doi-asserted-by":"publisher","first-page":"1521","DOI":"10.1007\/BF02882922","volume":"42","author":"Guojun Wang","year":"1997","unstructured":"Wang Guojun, A formal deductive system of fuzzy propositional calculus, Chinese Sci. Bull., 1997, 42(18): 1521\u20131525.","journal-title":"Chinese Sci. Bull."},{"issue":"2","key":"451040_CR7","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BF02919682","volume":"41","author":"Guojun Wang","year":"1998","unstructured":"Wang Guojun, The theory of \u03a3-(\u03b1-tautologies) in revised Kleene system, Science in China, Ser. E, 1998, 41(2): 188\u2013195.","journal-title":"Science in China, Ser. E"},{"issue":"1","key":"451040_CR8","first-page":"43","volume":"29","author":"Guojun Wang","year":"1999","unstructured":"Wang Guojun, The full implication triple I method for fuzzy reasoning, Science in China (in Chinese), Ser. E, 1999, 29 (1): 43\u201353.","journal-title":"Science in China (in Chinese), Ser. E"},{"issue":"3","key":"451040_CR9","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/BF02916828","volume":"43","author":"Guojun Wang","year":"2000","unstructured":"Wang Guojun, Triple I method and interval valued fuzzy reasoning, Science in China, Ser. E, 2000, 43(3): 242\u2013253.","journal-title":"Science in China, Ser. E"},{"issue":"1","key":"451040_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0020-0255(98)10103-2","volume":"117","author":"Guojun Wang","year":"1999","unstructured":"Wang Guojun, On the logic foundation of fuzzy reasoning, Inform. Sci., 1999, 117(1): 47\u201388.","journal-title":"Inform. Sci."},{"key":"451040_CR11","volume-title":"Non-Classical Mathematical Logic and Approximate Reasoning (in Chinese)","author":"Guojun Wang","year":"2000","unstructured":"Wang Guojun, Non-Classical Mathematical Logic and Approximate Reasoning (in Chinese), Beijing: Science Press, 2000."},{"key":"451040_CR12","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J., On fuzzy logic(II), Z. Math. Logik Grund. Math., 1979, 25: 119\u2013134.","journal-title":"Z. Math. Logik Grund. Math."},{"key":"451040_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. Hajek","year":"1998","unstructured":"Hajek, P., Metamathematics of Fuzzy Logic, London: Kluwer Academic Publishers, 1998."},{"key":"451040_CR14","volume-title":"Logic for Mathematicians","author":"A. G. Hamilton","year":"1978","unstructured":"Hamilton, A. G., Logic for Mathematicians, London: Cambridge Univ. Press, 1978."},{"key":"451040_CR15","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P., Distributive Lattices, Columbia: Univ. of Missouri Press, 1974."}],"container-title":["Science in China Series F Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1360\/02yf9003.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1360\/02yf9003\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1360\/02yf9003.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T17:44:26Z","timestamp":1696873466000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1360\/02yf9003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,2]]}},"alternative-id":["451040"],"URL":"https:\/\/doi.org\/10.1360\/02yf9003","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}