{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T08:00:37Z","timestamp":1648800037842},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,1,22]],"date-time":"2016-01-22T00:00:00Z","timestamp":1453420800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11432-015-5416-5","type":"journal-article","created":{"date-parts":[[2016,1,23]],"date-time":"2016-01-23T05:10:20Z","timestamp":1453525820000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["L-quantum spaces"],"prefix":"10.1007","volume":"59","author":[{"given":"Bin","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Nana","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,22]]},"reference":[{"key":"5416_CR1","first-page":"37","volume":"40","author":"M H Stone","year":"1936","unstructured":"Stone M H. The theory of representations for Boolean algebras. Trans American Math Soc, 1936, 40: 37\u2013111","journal-title":"Trans American Math Soc"},{"key":"5416_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","volume":"51","author":"S Abramsky","year":"1991","unstructured":"Abramsky S. Domain theory in logical form. Ann Pure Appl Logic, 1991, 51: 1\u201377","journal-title":"Ann Pure Appl Logic"},{"key":"5416_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.7146\/math.scand.a-11409","volume":"31","author":"J Isbell","year":"1972","unstructured":"Isbell J. Atomless parts of spaces. Math Scand, 1972, 31: 5\u201332","journal-title":"Math Scand"},{"key":"5416_CR4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.fss.2010.11.010","volume":"166","author":"W Yao","year":"2011","unstructured":"Yao W. An approach to fuzzy frames via fuzzy posets. Fuzzy Sets Syst, 2011, 166: 75\u201389","journal-title":"Fuzzy Sets Syst"},{"key":"5416_CR5","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"379","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff G, von Neumann J. The logic of quantum mechanics. Ann Math, 1936, 379: 823\u2013843","journal-title":"Ann Math"},{"key":"5416_CR6","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/j.tcs.2005.04.001","volume":"344","author":"M S Ying","year":"2005","unstructured":"Ying M S. A theory of computation based on quantum logic (I). Theor Comput Sci, 2005, 344: 134\u2013207","journal-title":"Theor Comput Sci"},{"key":"5416_CR7","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/B978-044452870-4\/50037-6","volume-title":"Handbook of Quantum Logic and Quantum Structures","author":"M S Ying","year":"2007","unstructured":"Ying M S. Quantum logic and automata theory. In: Dov G, Daniel L, Kurt E, eds. Handbook of Quantum Logic and Quantum Structures. North-Holland: Elsevier, 2007. 619\u2013754"},{"key":"5416_CR8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.tcs.2012.02.018","volume":"434","author":"Y Shang","year":"2012","unstructured":"Shang Y, Lu X, Lu R Q. A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata. Theor Comput Sci, 2012, 434: 53\u201386","journal-title":"Theor Comput Sci"},{"key":"5416_CR9","first-page":"99","volume":"12","author":"C J Mulvey","year":"1986","unstructured":"Mulvey C J. Suppl Rend Circ Mat Palermo, 1986, 12: 99\u2013104","journal-title":"Suppl Rend Circ Mat Palermo"},{"key":"5416_CR10","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S Abramsky","year":"1993","unstructured":"Abramsky S, Vickers S. Quantale, observational logic and process semantics. Math Struct Comput Sci, 1993, 3: 161\u2013227","journal-title":"Math Struct Comput Sci"},{"key":"5416_CR11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0304-3975(99)00123-1","volume":"254","author":"P Resende","year":"2001","unstructured":"Resende P. Quantales, finite observations and strong bisimulation. Theor Comput Sci, 2001, 254: 95\u2013149","journal-title":"Theor Comput Sci"},{"key":"5416_CR12","first-page":"313","volume":"42","author":"Y M Li","year":"1999","unstructured":"Li Y M, Li Zh H. Quantales and process semantics of bisimulation. Acta Mathe Sin Chinese Ser, 1999, 42: 313\u2013320","journal-title":"Acta Mathe Sin Chinese Ser"},{"key":"5416_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J Y Girard","year":"1987","unstructured":"Girard J Y. Linear logic. Theor Comput Sci, 1987, 50: 1\u2013102","journal-title":"Theor Comput Sci"},{"key":"5416_CR14","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D Yetter","year":"1990","unstructured":"Yetter D. Quantales and noncommutative linear logic. J Symb Logic, 1990, 55: 41\u201364","journal-title":"J Symb Logic"},{"key":"5416_CR15","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01744573","volume":"16","author":"R Parikh","year":"1983","unstructured":"Parikh R. Some applications of topology to program semantics. Math Syst Theory, 1983, 16: 111\u2013131","journal-title":"Math Syst Theory"},{"key":"5416_CR16","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0166-8641(89)90018-7","volume":"31","author":"F Borceux","year":"1989","unstructured":"Borceux F, Bossche G V. An essay on non-commutative topology. Topol Appl, 1989, 31: 203\u2013223","journal-title":"Topol Appl"},{"key":"5416_CR17","doi-asserted-by":"crossref","first-page":"1323","DOI":"10.1007\/s10114-010-7511-2","volume":"26","author":"W He","year":"2010","unstructured":"He W, Luo M K. Quantum spaces. Acta Math Sin English Ser, 2010, 26: 1323\u20131330","journal-title":"Acta Math Sin English Ser"},{"key":"5416_CR18","volume-title":"Some researches on fuzzy domains and fuzzy quantales","author":"K Y Wang","year":"2012","unstructured":"Wang K Y. Some researches on fuzzy domains and fuzzy quantales. Dissertation for Ph.D. Degree. Xi\u2019an: Shaanxi Normal University, 2012"},{"key":"5416_CR19","volume-title":"Abstract and Concrete Categories","author":"J Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek J, Herrlich H, Strecker G E. Abstract and Concrete Categories. New York: Wiley, 1990"},{"key":"5416_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0633-1","volume-title":"Fuzzy Relational Systems: Foundations and Principles","author":"R B\u011bloh\u00e1vek","year":"2002","unstructured":"B\u011bloh\u00e1vek R. Fuzzy Relational Systems: Foundations and Principles. New York: Kluwer Academic Publishers, 2002"},{"key":"5416_CR21","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward M, Dilworth R P. Residuated lattices. Trans American Math Soc, 1939, 45: 335\u2013353","journal-title":"Trans American Math Soc"},{"key":"5416_CR22","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1023\/A:1022935811257","volume":"53","author":"R B\u011bloh\u00e1vek","year":"2003","unstructured":"B\u011bloh\u00e1vek R. Some properties of residuated lattices. Czechoslovak Math J, 2003, 53: 161\u2013171","journal-title":"Czechoslovak Math J"},{"key":"5416_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P. Metamathematics of Fuzzy Logic. Dordrecht: Kluwer Academic Publishers, 1998"},{"key":"5416_CR24","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/S1571-0661(04)80956-3","volume":"45","author":"L Fan","year":"2001","unstructured":"Fan L. A new approach to quantitative domain theory. Electron Notes Theor Comput Sci, 2001, 45: 77\u201387","journal-title":"Electron Notes Theor Comput Sci"},{"key":"5416_CR25","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"J A Goguen","year":"1967","unstructured":"Goguen J A. L-fuzzy sets. J Math Anal Appl, 1967, 18: 145\u2013174","journal-title":"J Math Anal Appl"},{"key":"5416_CR26","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/j.fss.2005.01.007","volume":"154","author":"Q Y Zhang","year":"2005","unstructured":"Zhang Q Y, Fan L. Continuity in quantitative domains. Fuzzy Sets Syst, 2005, 154: 118\u2013131","journal-title":"Fuzzy Sets Syst"},{"key":"5416_CR27","doi-asserted-by":"crossref","first-page":"2275","DOI":"10.1016\/j.fss.2008.12.001","volume":"160","author":"Q Y Zhang","year":"2009","unstructured":"Zhang Q Y, Xie W X, Fan L. Fuzzy complete lattices. Fuzzy Sets Syst, 2009, 160: 2275\u20132291","journal-title":"Fuzzy Sets Syst"},{"key":"5416_CR28","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-1-4615-5079-2_3","volume-title":"Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, the Handbooks of Fuzzy Sets Series, vol.3. Boston, Dordrecht","author":"S E Rodabaugh","year":"1999","unstructured":"Rodabaugh S E. Powerset operator foundations for poslat fuzzy set theories and topologies. In: H\u00f6hle U, Rodabaugh S E, eds. Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, the Handbooks of Fuzzy Sets Series, vol.3. Boston, Dordrecht. London: Kluwer Academic Publishers, 1999. 91\u2013116"},{"key":"5416_CR29","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1016\/j.ijar.2008.12.002","volume":"50","author":"H L Lai","year":"2009","unstructured":"Lai H L, Zhang D X. Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory. Int J Approx Reason, 2009, 50: 695\u2013707","journal-title":"Int J Approx Reason"},{"key":"5416_CR30","first-page":"283","volume":"16","author":"I Stubbe","year":"2006","unstructured":"Stubbe I. Categorical structures enriched in a quantaloid: tensored and cotensored categories. Theory Appl Categ, 2006, 16: 283\u2013306","journal-title":"Theory Appl Categ"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5416-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-015-5416-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5416-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:38:03Z","timestamp":1559389083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-015-5416-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,22]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["5416"],"URL":"https:\/\/doi.org\/10.1007\/s11432-015-5416-5","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,22]]},"article-number":"32201"}}