{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T05:20:06Z","timestamp":1780723206389,"version":"3.54.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009,1]]},"DOI":"10.1007\/s11432-009-0008-x","type":"journal-article","created":{"date-parts":[[2009,1,10]],"date-time":"2009-01-10T10:13:02Z","timestamp":1231582382000},"page":"70-83","source":"Crossref","is-referenced-by-count":11,"title":["Theory of (n) truth degrees of formulas in modal logic and a consistency theorem"],"prefix":"10.1007","volume":"52","author":[{"given":"GuoJun","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"QiaoLin","family":"Duan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,8,29]]},"reference":[{"key":"8_CR1","volume-title":"Many-Valued Logics","author":"J. B. Rosser","year":"1952","unstructured":"Rosser J B, Turquette A R. Many-Valued Logics. Amsterdam: North-Holland, 1952"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka J. On fuzzy logic I, II, III. Zeitschr.f Math. Logik u Grundlagen d Math. 1979, 25: 119\u2013134, 447-464","journal-title":"Zeitschr.f Math. Logik u Grundlagen d Math."},{"key":"8_CR3","volume-title":"Tech Rep 89\/48","author":"M. Glas De","year":"1989","unstructured":"De Glas M. Knowledge representation in a fuzzy setting. Tech Rep 89\/48, Universite\u2019 Pairs VI, Laforia, 1989"},{"key":"8_CR4","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 Symbolic Logic, 1994, 59: 830\u2013837","journal-title":"J Symbolic Logic"},{"issue":"2","key":"8_CR5","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF02919682","volume":"41","author":"G. J. Wang","year":"1998","unstructured":"Wang G J. Theory of \u03a3 - (\u03b1-tautologies) in revised Kleene system. Sci China Ser E-Inf Sci, 1998, 41(2): 188\u2013195","journal-title":"Sci China Ser E-Inf Sci"},{"issue":"9","key":"8_CR6","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 logic. Sci China Ser A-Math, 2002, 45(9): 1106\u20131116","journal-title":"Sci China Ser A-Math"},{"issue":"4","key":"8_CR7","first-page":"53","volume":"14","author":"H. B. Wu","year":"2000","unstructured":"Wu H B. Theory of generalized tautology in G\u00f6del logic system (in Chinese). Fuzzy Syst Math. 2000, 14(4): 53\u201359","journal-title":"Fuzzy Syst Math."},{"issue":"4","key":"8_CR8","first-page":"769","volume":"47","author":"J. Li","year":"2004","unstructured":"Li J, Li S P, Xia Y F. Theory of truth degrees of propositions in n valued Lukasiwicz logic (in Chinese). Acta Math Sin, 2004, 47(4): 769\u2013780","journal-title":"Acta Math Sin"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0165-0114(02)00382-2","volume":"138","author":"D. Pei","year":"2003","unstructured":"Pei D. On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Sys, 2003, 138: 187\u2013195","journal-title":"Fuzzy Sets Sys"},{"issue":"3","key":"8_CR10","first-page":"448","volume":"30","author":"X. F. Zhang","year":"2007","unstructured":"Zhang X F, Meng G W, Zhang A Y. Implication operator families and their applications (in Chinese). Chinese J Comput, 2007, 30(3): 448\u2013453","journal-title":"Chinese J Comput"},{"issue":"1","key":"8_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1360\/jos180033","volume":"18","author":"J. Li","year":"2007","unstructured":"Li J, Wang G J. Theory of \u03b1-truth degrees in n-valued G\u00f6del propositional logic (in Chinese). J Software, 2007, 18(1): 33\u201339","journal-title":"J Software"},{"issue":"31","key":"8_CR12","first-page":"16","volume":"42","author":"J. Li","year":"2006","unstructured":"Li J, Wang G J. Theory of \u03b1-truth degrees in n-valued Lukasiwicz propositional logic (in Chinese). Comput Eng Appl, 2006, 42(31): 16\u201318","journal-title":"Comput Eng Appl"},{"issue":"2","key":"8_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s00500-004-0431-2","volume":"10","author":"C. Han","year":"2006","unstructured":"Han C, Wang G J, Xu W. A 16-classification partition of formula set F(S) in revised Kleene System % MathType!MTEF!2!1!+- % feaagaart1ev2aaatCvAUfKttLearuqr1ngBPrgarmWu51MyVXgatC % vAUfeBSjuyZL2yd9gzLbvyNv2CaeHbd9wDYLwzYbItLDharyavP1wz % ZbItLDhis9wBH5garqqtubsr4rNCHbGeaGqipC0xg9qqqrpepC0xbb % L8F4rqqrFfpeea0xe9Lq-Jc9vqaqpepm0xbba9pwe9Q8fs0-yqaqpe % pae9pg0FirpepeKkFr0xfr-xfr-xb9adbaqaaeGaciGaaiaabeqaam % aaeaqbaaGcbaGafm4vaCLbaebaaaa!3BAE! $$ \\bar W $$ . Soft Comput, 2006, 10(2): 115\u2013118","journal-title":"Soft Comput"},{"issue":"4","key":"8_CR14","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/s11432-006-2001-y","volume":"49","author":"J. Li","year":"2006","unstructured":"Li J, Wang G J. Theory of truth degrees of propositions in the logic system L n *. Sci China Ser F-Inf Sci, 2006, 49(4): 471\u2013483","journal-title":"Sci China Ser F-Inf Sci"},{"issue":"1","key":"8_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1360\/04yf0094","volume":"48","author":"G. J. Wang","year":"2005","unstructured":"Wang G J, Qian G S, Dang C Y. Theory unified approximate reasoning in L * propositional calculus system and K * predicate calculus system. Sci China Ser F-Inf Sci, 2005, 48(1): 1\u201314","journal-title":"Sci China Ser F-Inf Sci"},{"issue":"1","key":"8_CR16","first-page":"159","volume":"44","author":"G. J. Wang","year":"2001","unstructured":"Wang G J, Wang W. Logical metric spaces (in Chinese). Acta Math Sin, 2001, 44(1): 159\u2013168","journal-title":"Acta Math Sin"},{"issue":"4","key":"8_CR17","first-page":"9","volume":"21","author":"B. H. Han","year":"2007","unstructured":"Han B H, Wang G J. The conditional truth degree of formulas in classical propositional logic (in Chinese). Fuzzy Sys Math, 2007, 21(4): 9\u201315","journal-title":"Fuzzy Sys Math"},{"issue":"2","key":"8_CR18","first-page":"252","volume":"34","author":"G. J. Wang","year":"2006","unstructured":"Wang G J, Song J S. Graded method in propositional logic (in Chinese). Acta Electr Sin, 2006, 34(2): 252\u2013257","journal-title":"Acta Electr Sin"},{"issue":"6","key":"8_CR19","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1360\/122005-47","volume":"48","author":"B. J. Li","year":"2005","unstructured":"Li B J, Wang G J. Theory of truth degrees of formulas in Lukasiwicz n-valued propositional logic and limit theorem. Sci China Ser F-Inf Sci, 2005, 48(6): 727\u2013776","journal-title":"Sci China Ser F-Inf Sci"},{"issue":"1","key":"8_CR20","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":"3","key":"8_CR21","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/j.fss.2004.11.005","volume":"152","author":"X. N. Zhou","year":"2005","unstructured":"Zhou X N, Wang G J. Consistency degrees of theories in some systems of propositional fuzzy logic. Fuzzy Sets Syst, 2005, 152(3): 321\u2013331","journal-title":"Fuzzy Sets Syst"},{"key":"8_CR22","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/j.fss.2003.12.001","volume":"149","author":"G. J. Wang","year":"2005","unstructured":"Wang G J, Zhang W X. Consistency degrees of finite theories in Lukasiwicz propositional fuzzy logic. Fuzzy Sets Syst, 2005, 149: 275\u2013284","journal-title":"Fuzzy Sets Syst"},{"key":"8_CR23","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/j.fss.2005.07.006","volume":"157","author":"H. J. Zhou","year":"2006","unstructured":"Zhou H J, Wang G J. A new theory consistency index based on deduction theorems in several logic system. Fuzzy Sets Syst, 2006, 157: 427\u2013443","journal-title":"Fuzzy Sets Syst"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"2058","DOI":"10.1016\/j.fss.2006.02.007","volume":"157","author":"H. J. Zhou","year":"2006","unstructured":"Zhou H J, Wang G J. Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Fuzzy Sets Syst, 2006, 157: 2058\u20132073","journal-title":"Fuzzy Sets Syst"},{"key":"8_CR25","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.ijar.2006.03.001","volume":"43","author":"H. J. Zhou","year":"2006","unstructured":"Zhou H J, Wang G J, Zhou W. Consistency degrees of theories and methods of graded reasoning in n-valued R 0-logic (NM-Logic). Int J Approx Reason, 2006, 43: 117\u2013132","journal-title":"Int J Approx Reason"},{"key":"8_CR26","first-page":"2951","volume":"158","author":"H. J. Zhou","year":"2007","unstructured":"Zhou H J, Wang G J. Characterizations of maximal consistent theories in the formal deductive system L * (NM-Logic) and Cantor space. Fuzzy Sets Syst, 2007, 158: 2951\u20132604","journal-title":"Fuzzy Sets Syst"},{"key":"8_CR27","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 semantic and logic metric spaces. Fuzzy Sets Syst, 2003, 136: 71\u201391","journal-title":"Fuzzy Sets Syst"},{"issue":"6","key":"8_CR28","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1007\/s11432-007-0067-9","volume":"50","author":"G. J. Wang","year":"2007","unstructured":"Wang G J, Hui X J. Randomization of classical inference patterns and its application. Sci China Ser F-Inf Sci, 2007, 50(6): 867\u2013877","journal-title":"Sci China Ser F-Inf Sci"},{"issue":"7","key":"8_CR29","first-page":"1333","volume":"35","author":"G. J. Wang","year":"2007","unstructured":"Wang G J, Hui X J. Generalization of the fundamental theorem of probability logic (in Chinese). Acta Electr Sin, 2007, 35(7): 1333\u20131340","journal-title":"Acta Electr Sin"},{"issue":"2","key":"8_CR30","first-page":"191","volume":"23","author":"G. J. Wang","year":"2006","unstructured":"Wang G J. Quantified logic (I). Chinese J Engine Math (in Chinese), 2006, 23(2): 191\u2013215","journal-title":"Chinese J Engine Math (in Chinese)"},{"key":"8_CR31","volume-title":"Introduction to Mathematical Logic and Resolution Principle (in Chinese)","author":"G. J. Wang","year":"2007","unstructured":"Wang G J. Introduction to Mathematical Logic and Resolution Principle (in Chinese). 2nd ed. Beijing: Science Press, 2007","edition":"2"},{"key":"8_CR32","doi-asserted-by":"crossref","first-page":"3145","DOI":"10.1016\/j.fss.2006.08.006","volume":"157","author":"G. J. Wang","year":"2006","unstructured":"Wang G J, Qin X Y, Zhou X N. An intrinsic fuzzy set on the universe of discourse of predicate formulas. Fuzzy Sets Syst, 2006, 157: 3145\u20133158","journal-title":"Fuzzy Sets Syst"},{"key":"8_CR33","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P, Rijke M, Venema Y. Modal Logic. Cambridge: Cambridge University Press, 2001"},{"key":"8_CR34","volume-title":"Non-classical Propositional Logic and Approximate Reasoning (in Chinese)","author":"G. J. Wang","year":"2008","unstructured":"Wang G J. Non-classical Propositional Logic and Approximate Reasoning (in Chinese). 2nd ed. Beijing: Science Press, 2008","edition":"2"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-009-0008-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-009-0008-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-009-0008-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,8]],"date-time":"2024-03-08T23:24:41Z","timestamp":1709940281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-009-0008-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["8"],"URL":"https:\/\/doi.org\/10.1007\/s11432-009-0008-x","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}