{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T12:40:00Z","timestamp":1783514400972,"version":"3.55.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T00:00:00Z","timestamp":1308268800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s11432-011-4268-x","type":"journal-article","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T02:06:19Z","timestamp":1308362779000},"page":"1843-1854","source":"Crossref","is-referenced-by-count":10,"title":["Borel probabilistic and quantitative logic"],"prefix":"10.1007","volume":"54","author":[{"given":"HongJun","family":"Zhou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"GuoJun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,6,17]]},"reference":[{"key":"4268_CR1","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1305\/ndjfl\/1093870625","volume":"25","author":"T. Hailperin","year":"1984","unstructured":"Hailperin T. Probability logic. Notre Dame J Form Logic, 1984, 25: 198\u2013212","journal-title":"Notre Dame J Form Logic"},{"key":"4268_CR2","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. J. Nilsson","year":"1986","unstructured":"Nilsson N J. Probabilistic logic. Artif Intell, 1986, 28: 71\u201387","journal-title":"Artif Intell"},{"key":"4268_CR3","first-page":"11","volume-title":"A Primer of Probability Logic","author":"E. W. Adam","year":"1998","unstructured":"Adam E W. A Primer of Probability Logic. Stanford: CSLI Publications, 1998. 11\u201334"},{"key":"4268_CR4","first-page":"187","volume-title":"Sentential Probability Logic","author":"T. Hailperin","year":"1996","unstructured":"Hailperin T. Sentential Probability Logic. London: Associated University Press, 1996. 187\u2013212"},{"key":"4268_CR5","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: 1106\u20131116","journal-title":"Sci China Ser A-Math"},{"key":"4268_CR6","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 spaces. Fuzzy Set Syst, 2003, 136: 71\u201391","journal-title":"Fuzzy Set Syst"},{"key":"4268_CR7","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 \u0141ukasiewicz n-valued propositional logic and a limit theorem. Sci China Ser F-Inf Sci, 2005, 48: 727\u2013736","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4268_CR8","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: 471\u2013483","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4268_CR9","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/s11432-009-0008-x","volume":"52","author":"G. J. Wang","year":"2009","unstructured":"Wang G J, Duan Q L. Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. Sci China Ser F-Inf Sci, 2009, 52: 70\u201383","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4268_CR10","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 systems. Fuzzy Set Syst, 2006, 157: 427\u2013443","journal-title":"Fuzzy Set Syst"},{"key":"4268_CR11","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":"4268_CR12","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 Set Syst, 2006, 157: 2058\u20132073","journal-title":"Fuzzy Set Syst"},{"key":"4268_CR13","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.ins.2008.09.008","volume":"179","author":"G. J. Wang","year":"2009","unstructured":"Wang G J, Zhou H J. Quantitative logic. Inform Sciences, 2009, 179: 226\u2013247","journal-title":"Inform Sciences"},{"key":"4268_CR14","first-page":"257","volume-title":"Introduction to Mathematical Logic and Resolution Principle","author":"G. J. Wang","year":"2009","unstructured":"Wang G J, Zhou H J. Introduction to Mathematical Logic and Resolution Principle. Beijing\/Oxford: Science Press and Alpha Science International Limited, 2009. 257\u2013324"},{"key":"4268_CR15","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: 867\u2013877","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4268_CR16","first-page":"2","volume-title":"Foundations of Probability","author":"A. N. Kolmogorov","year":"1950","unstructured":"Kolmogorov A N. Foundations of Probability. New York: Chelsea Publishing Co, 1950. 2\u201312"},{"key":"4268_CR17","first-page":"27","volume-title":"Logic for Mathematicians","author":"A. G. Hamilton","year":"1978","unstructured":"Hamilton A G. Logic for Mathematicians. London: Cambridge University Press, 1978. 27\u201336"},{"key":"4268_CR18","first-page":"154","volume-title":"Measure Theory","author":"P. R. Halmos","year":"1974","unstructured":"Halmos P R. Measure Theory. New York: Springer, 1974. 154\u2013160, 183"},{"key":"4268_CR19","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-1-4899-0399-0_7","volume-title":"Measure Theory","author":"D. L. Cohn","year":"1980","unstructured":"Cohn D L. Measure Theory. Boston: Birkhuser, 1980. 196\u2013296"},{"key":"4268_CR20","first-page":"119","volume-title":"Topology","author":"J. R. Munkres","year":"2004","unstructured":"Munkres J R. Topology. 2nd ed. Beijing: China Machine Press, 2004. 119\u2013125","edition":"2nd ed."},{"key":"4268_CR21","doi-asserted-by":"crossref","first-page":"2591","DOI":"10.1016\/j.fss.2007.05.004","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 \u2112* (NM-logic) and Cantor space. Fuzzy Set Syst, 2007, 158: 2591\u20132604","journal-title":"Fuzzy Set Syst"},{"key":"4268_CR22","first-page":"17","volume-title":"Infinite-Dimensional Topology","author":"J. V. Mill","year":"1988","unstructured":"Mill J V. Infinite-Dimensional Topology. Amsterdam: North-Holland, 1988. 17\u2013136"},{"key":"4268_CR23","first-page":"1","volume":"35","author":"G. J. Wang","year":"2007","unstructured":"Wang G J, Wang W, Song J S. Topology on the set of maximal consistent propositional theories and the Cantor ternary set (in Chinese). J Shaanxi Normal Univ(Nat Sci Ed), 2007, 35: 1\u20135","journal-title":"J Shaanxi Normal Univ(Nat Sci Ed)"},{"key":"4268_CR24","first-page":"325","volume":"36","author":"D. X. Zhang","year":"2008","unstructured":"Zhang D X, Li L F. Syntactic graded method of two-valued propositional logic formulas (in Chinese). Acta Electron Sinica, 2008, 36: 325\u2013330","journal-title":"Acta Electron Sinica"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4268-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-011-4268-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4268-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,7]],"date-time":"2024-04-07T18:44:25Z","timestamp":1712515465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-011-4268-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,17]]},"references-count":24,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["4268"],"URL":"https:\/\/doi.org\/10.1007\/s11432-011-4268-x","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,17]]}}}