{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:53:45Z","timestamp":1649184825938},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T00:00:00Z","timestamp":1490832000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s00500-017-2577-8","type":"journal-article","created":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T03:54:37Z","timestamp":1490846077000},"page":"2537-2547","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Weak QMV algebras and some ring-like structures"],"prefix":"10.1007","volume":"21","author":[{"given":"Xian","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Shang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ru-qian","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feifei","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,30]]},"reference":[{"issue":"4","key":"2577_CR1","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37(4):823\u2013843","journal-title":"Ann Math"},{"key":"2577_CR2","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467\u2013490","journal-title":"Trans Am Math Soc"},{"key":"2577_CR3","first-page":"74","volume":"93","author":"CC Chang","year":"1959","unstructured":"Chang CC (1959) A new proof of the completeness of the \u0141ukasiewicz axioms. Trans Am Math Soc 93:74\u201380","journal-title":"Trans Am Math Soc"},{"key":"2577_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in quantum theory\u2014sharp and unsharp quantum logic","author":"MD Chiara","year":"2004","unstructured":"Chiara MD, Giuntini R, Greechie R (2004) Reasoning in quantum theory\u2014sharp and unsharp quantum logic. Kluwer Academic Publishers, Dordrecht"},{"key":"2577_CR5","doi-asserted-by":"publisher","unstructured":"Di Nola A, Gerla B (2005) Algebras of \u0142ukasiewicz logic and their semiring reducts. In: Litvinov GL, Maslov VP (eds) Idempotent mathematics and mathematical physics. Contemp. Math., vol 377, pp 131\u2013144. American Mathematical Society, Providence","DOI":"10.1090\/conm\/377\/06988"},{"key":"2577_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2422-7","volume-title":"New trends in quantum structures","author":"A Dvure\u010denskig","year":"2000","unstructured":"Dvure\u010denskig A, Pulmannov\u00e1 S (2000) New trends in quantum structures. Kluwer\/Ister Science, Dordrecht\/Bratislava"},{"issue":"10","key":"2577_CR7","doi-asserted-by":"publisher","first-page":"1331","DOI":"10.1007\/BF02283036","volume":"24","author":"DJ Foulis","year":"1994","unstructured":"Foulis DJ, Bennett MK (1994) Effect algebras and unsharp quantum logics. Found Phys 24(10):1331\u20131352","journal-title":"Found Phys"},{"key":"2577_CR8","first-page":"467","volume":"5","author":"B Gerla","year":"2003","unstructured":"Gerla B (2003) Many-valued logic and semirings. Neural Netw World 5:467\u2013480","journal-title":"Neural Netw World"},{"key":"2577_CR9","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/BF00372773","volume":"56","author":"R Giuntini","year":"1996","unstructured":"Giuntini R (1996) Quantum MV algebras. Studia Logica 56:393\u2013417","journal-title":"Studia Logica"},{"issue":"1","key":"2577_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1026609121718","volume":"37","author":"R Giuntini","year":"1998","unstructured":"Giuntini R (1998) Quantum MV-algebras and commutativity. Int J Theor Phys 37(1):65\u201374","journal-title":"Int J Theor Phys"},{"key":"2577_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s00012-005-1907-3","volume":"53","author":"R Giuntini","year":"2005","unstructured":"Giuntini R (2005) Weakly linear quantum MV-algebras. Algebra Univers 53:45\u201372","journal-title":"Algebra Univers"},{"key":"2577_CR12","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1007\/BF01889307","volume":"20","author":"R Giuntini","year":"1989","unstructured":"Giuntini R, Greuling H (1989) Toward a formal language for unsharp properties. Found Phys 20:931\u2013935","journal-title":"Found Phys"},{"key":"2577_CR13","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF02187348","volume":"8","author":"S Gudder","year":"1995","unstructured":"Gudder S (1995) Total extensions of effect algebras. Found Phys Lett 8:243\u2013252","journal-title":"Found Phys Lett"},{"key":"2577_CR14","volume-title":"Orthomodular lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach G (1983) Orthomodular lattices. Academic Press, New York"},{"key":"2577_CR15","first-page":"21","volume":"44","author":"F K\u00f4pka","year":"1994","unstructured":"K\u00f4pka F, Chovanec F (1994) D-posets. Math Slovaca 44:21\u201334","journal-title":"Math Slovaca"},{"key":"2577_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86751-4","volume-title":"Foundations of quantum mechanics","author":"G Ludwig","year":"1983","unstructured":"Ludwig G (1983) Foundations of quantum mechanics, vol 1. Springer, Berlin"},{"issue":"2","key":"2577_CR17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.ic.2003.11.003","volume":"190","author":"DW Qiu","year":"2004","unstructured":"Qiu DW (2004) Automata theory based on quantum logic: some characterizations. Inf Comput 190(2):179\u2013195","journal-title":"Inf Comput"},{"key":"2577_CR18","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.tcs.2007.05.026","volume":"386","author":"DW Qiu","year":"2007","unstructured":"Qiu DW (2007) Automata theory based on quantum logic: reversibilities and pushdown automata. Theor Comput Sci 386:38\u201356","journal-title":"Theor Comput Sci"},{"key":"2577_CR19","doi-asserted-by":"publisher","first-page":"847","DOI":"10.1007\/s00500-006-0136-9","volume":"11","author":"Y Shang","year":"2007","unstructured":"Shang Y, Lu RQ (2007) Semirings and pseudo MV algebras. Soft Comput 11:847\u2013853","journal-title":"Soft Comput"},{"key":"2577_CR20","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1017\/S0960129509007701","volume":"19","author":"Y Shang","year":"2009","unstructured":"Shang Y, Lu X, Lu RQ (2009) Automata theory based on unsharp quantum logic. Math Struct Comput Sci 19:737\u2013756","journal-title":"Math Struct Comput Sci"},{"key":"2577_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.tcs.2012.02.018","volume":"434","author":"Y Shang","year":"2012","unstructured":"Shang Y, Lu X, Lu RQ (2012) A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata. Theor Comput Sci 434:53\u201386","journal-title":"Theor Comput Sci"},{"issue":"4","key":"2577_CR22","first-page":"981","volume":"39","author":"MS Ying","year":"2000","unstructured":"Ying MS (2000a) Automata theory based on quantum logic (I). Int J Theor Phys 39(4):981\u2013991","journal-title":"Int J Theor Phys"},{"issue":"11","key":"2577_CR23","doi-asserted-by":"publisher","first-page":"2545","DOI":"10.1023\/A:1026453524064","volume":"39","author":"MS Ying","year":"2000","unstructured":"Ying MS (2000b) Automata theory based on quantum logic (II). Int J Theor Phys 39(11):2545\u20132557","journal-title":"Int J Theor Phys"},{"issue":"2,3","key":"2577_CR24","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.tcs.2005.04.001","volume":"344","author":"MS Ying","year":"2005","unstructured":"Ying MS (2005) A theory of computation based on quantum logic (I). Theor Comput Sci 344(2,3):134\u2013207","journal-title":"Theor Comput Sci"},{"key":"2577_CR25","unstructured":"Zhang J, Zhang H (1995) SEM: a system for enumerating models. In: Proceedings of international joint conference on AI (IJCAI-95), pp 298\u2013303"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2577-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2577-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2577-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T10:32:34Z","timestamp":1568975554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2577-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,30]]},"references-count":25,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["2577"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2577-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,30]]}}}