{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T16:09:37Z","timestamp":1744906177075},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2010,10,22]],"date-time":"2010-10-22T00:00:00Z","timestamp":1287705600000},"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":[[2010,11]]},"DOI":"10.1007\/s11432-010-4098-2","type":"journal-article","created":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T03:56:09Z","timestamp":1287633369000},"page":"2230-2239","source":"Crossref","is-referenced-by-count":3,"title":["Lattice-valued modal propositional logic and its completeness"],"prefix":"10.1007","volume":"53","author":[{"given":"HuiXian","family":"Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GuoJun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,22]]},"reference":[{"key":"4098_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9781107050884.002","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P, de Rijke M, Venema Y. Modal Logic. New York: Cambridge University Press, 2001. 1\u201337"},{"key":"4098_CR2","first-page":"19","volume-title":"A New Introduction to Modal Logic","author":"M. J. Cresswell","year":"1996","unstructured":"Cresswell M J, Hughes G E. A New Introduction to Modal Logic. London: Routledge, 1996. 19\u201339"},{"key":"4098_CR3","first-page":"224","volume-title":"Non-classical Mathematical Logic and Approximate Reasoning (in Chinese)","author":"G. J. Wang","year":"2008","unstructured":"Wang G J. Non-classical Mathematical Logic and Approximate Reasoning (in Chinese). 2nd ed. Beijing: Science Press, 2008. 224\u2013251","edition":"2nd ed."},{"key":"4098_CR4","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P. On fuzzy modal logics S5(C). Fuzzy Sets Syst, 2009, doi: 10.1016\/j.fss.2009.11.011","DOI":"10.1016\/j.fss.2009.11.011"},{"key":"4098_CR5","doi-asserted-by":"crossref","first-page":"3641","DOI":"10.1007\/s10958-005-0281-1","volume":"128","author":"A. M. Mironov","year":"2005","unstructured":"Mironov A M. Fuzzy modal logics. J Math Sci, 2005, 128: 3641\u20133483","journal-title":"J Math Sci"},{"key":"4098_CR6","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/0165-0114(88)90128-5","volume":"26","author":"M. S. Ying","year":"1988","unstructured":"Ying M S. On standard models of fuzzy modal logics. Fuzzy Sets Syst, 1988, 26: 357\u2013363","journal-title":"Fuzzy Sets Syst"},{"key":"4098_CR7","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.ins.2003.08.010","volume":"160","author":"V. N. Huynh","year":"2004","unstructured":"Huynh V N, Nakamori Y, Ho T B, et al. A context model for fuzzy concept analysis based upon modal logic. Inf Sci, 2004, 160: 111\u2013129","journal-title":"Inf Sci"},{"key":"4098_CR8","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.tcs.2006.09.021","volume":"368","author":"Z. Y. Zhang","year":"2006","unstructured":"Zhang Z Y, Sui Y F, Cao C G, et al. A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. Theoret Comput Sci, 2006, 368: 149\u2013160","journal-title":"Theoret Comput Sci"},{"key":"4098_CR9","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: Science Press, Oxford, U.K. Alpha Science International Limited, 2009. 257\u2013323"},{"key":"4098_CR10","first-page":"586","volume":"43","author":"G. J. Wang","year":"2000","unstructured":"Wang G J. A universal theory of measure and integral on valuation spaces with respect to diverse implication operators. Sci China Ser E, 2000, 43: 586\u2013594","journal-title":"Sci China Ser E"},{"key":"4098_CR11","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. Inf Sci, 2009, 179: 226\u2013247","journal-title":"Inf Sci"},{"key":"4098_CR12","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":"4098_CR13","first-page":"341","volume":"26","author":"T. Y. Chen","year":"2003","unstructured":"Chen T Y, Wang D G. The semantics of fuzzy modal propositional logic (in Chinese). J Liaoning Norm Univ (Nat Sci Ed), 2003, 26: 341\u2013343","journal-title":"J Liaoning Norm Univ (Nat Sci Ed)"},{"key":"4098_CR14","first-page":"261","volume":"35","author":"D. G. Wang","year":"2003","unstructured":"Wang D G, Gu Y D, Li H X. Generalized tautology in fuzzy modal propositional logic (in Chinese). Acta Electr Sin, 2003, 35: 261\u2013264","journal-title":"Acta Electr Sin"},{"key":"4098_CR15","first-page":"2484","volume":"37","author":"M. D. Hu","year":"2009","unstructured":"Hu M D, Wang G J. Tautologies and quasi-tautologies in fuzzy modal logic (in Chinese). Acta Electr Sin, 2009, 37: 2484\u20132488","journal-title":"Acta Electr Sin"},{"key":"4098_CR16","first-page":"5","volume-title":"The Theory of Topological Molecular Lattices (in Chinese)","author":"G. J. Wang","year":"1990","unstructured":"Wang G J. The Theory of Topological Molecular Lattices (in Chinese). Xi\u2019an: Shaanxi Normal University Press, 1990. 5\u20137"},{"key":"4098_CR17","first-page":"114","volume-title":"Introduction to Lattices and Order","author":"B. A. Davey","year":"1990","unstructured":"Davey B A, Priestley H A. Introduction to Lattices and Order. New York: Cambridge University Press, 1990. 114\u2013123"},{"key":"4098_CR18","doi-asserted-by":"crossref","first-page":"2054","DOI":"10.1016\/j.topol.2009.03.029","volume":"156","author":"M. Ern\u00e9","year":"2009","unstructured":"Ern\u00e9 M. Infinite distributive laws versus local connectedness and compactness properties. Top Appl, 2009, 156: 2054\u20132069","journal-title":"Top Appl"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4098-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-010-4098-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4098-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:36:07Z","timestamp":1559403367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-010-4098-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,22]]},"references-count":18,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["4098"],"URL":"https:\/\/doi.org\/10.1007\/s11432-010-4098-2","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,22]]}}}