{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:42:11Z","timestamp":1740181331240,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Science Foundation of China","doi-asserted-by":"crossref","award":["62006168"],"award-info":[{"award-number":["62006168"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Mach. Intell."],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s42484-020-00029-3","type":"journal-article","created":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T19:02:42Z","timestamp":1604775762000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A note on implication operators of quantum logic"],"prefix":"10.1007","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2283-9459","authenticated-orcid":false,"given":"Songsong","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,7]]},"reference":[{"key":"29_CR1","first-page":"981","volume":"39","author":"MS Ying","year":"2000","unstructured":"Ying MS (2000) Automata theory based on quantum logic I. Int J Theor Phys 39:981\u2013991","journal-title":"Int J Theor Phys"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"2545","DOI":"10.1023\/A:1026453524064","volume":"39","author":"MS Ying","year":"2000","unstructured":"Ying MS (2000) Automata theory based on quantum logic II. Int J Theor Phys 39:2545\u20132557","journal-title":"Int J Theor Phys"},{"key":"29_CR3","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:134\u2013207","journal-title":"Theor Comput Sci"},{"key":"29_CR4","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:179\u2013195","journal-title":"Inf Comput"},{"key":"29_CR5","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"},{"issue":"2","key":"29_CR6","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/s11432-007-0020-y","volume":"50","author":"DW Qiu","year":"2007","unstructured":"Qiu DW (2007) Notes on automata theory based on quantum logic. Sci China Ser F-Inf Sci 50 (2):154\u2013169","journal-title":"Sci China Ser F-Inf Sci"},{"key":"29_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in quantum theory: sharp and unsharp quantum logics","author":"MLD Chiara","year":"2004","unstructured":"Chiara MLD, Giuntini R, Greechie R (2004) Reasoning in quantum theory: sharp and unsharp quantum logics. Springer, Netherlands"},{"key":"29_CR8","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:823\u2013843","journal-title":"Ann Math"},{"key":"29_CR9","unstructured":"Chiara MLD (1986) Quantum logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol III. Reidel, Dordrecht, pp 427\u2013469"},{"key":"29_CR10","unstructured":"Kalmbach G (1983) Orthomodular lattices. In: London math soc monographs, vol 18. Academic Press, London"},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1017\/S0004972700041642","volume":"2","author":"PD Finch","year":"1970","unstructured":"Finch PD (1970) Quantum logic as an implicatiom algebra. Bull Austral Math Soc 2:101\u2013106","journal-title":"Bull Austral Math Soc"},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/BF00733278","volume":"21","author":"L Rom\u00e1n","year":"1991","unstructured":"Rom\u00e1n L, Rumbos B (1991) Quantum logic revisited. Found Phys 21:727\u2013734","journal-title":"Found Phys"},{"key":"29_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-9871-1","volume-title":"Quantum logic","author":"P Mittelstaedt","year":"1978","unstructured":"Mittelstaedt P (1978) Quantum logic. Reidel, Dordrecht"},{"key":"29_CR14","first-page":"189","volume":"72","author":"M Pavi\u010di\u0107","year":"1999","unstructured":"Pavi\u010di\u0107 M, Megill ND (1999) Non-orthomodular models for both standard quantum logic and standard classical logic: repercussions for quantum computers. Helv Phys Acta 72:189\u2013210","journal-title":"Helv Phys Acta"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"2337","DOI":"10.1023\/A:1026461417704","volume":"39","author":"ND Megill","year":"2000","unstructured":"Megill ND, Pavi\u010di\u0107 M (2000) Equations, states, and lattices of infinite-dimensional Hilbert spaces. Int J Theor Phys 39:2337\u20132379","journal-title":"Int J Theor Phys"},{"key":"29_CR16","doi-asserted-by":"publisher","first-page":"5103","DOI":"10.1016\/j.ins.2007.05.014","volume":"177","author":"J Jin","year":"2007","unstructured":"Jin J, Li Y, Li C (2007) Robustness of fuzzy reasoning via logically equivalence measure. Inform Sci 177:5103\u20135117","journal-title":"Inform Sci"},{"key":"29_CR17","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1016\/j.ijar.2012.11.007","volume":"54","author":"S Dai","year":"2013","unstructured":"Dai S, Pei D, Guo D (2013) Robustness analysis of full implication inference method. Int J Approx Reason 54:653\u2013666","journal-title":"Int J Approx Reason"},{"key":"29_CR18","doi-asserted-by":"publisher","first-page":"1314","DOI":"10.1016\/j.fss.2007.01.009","volume":"158","author":"I Georgescu","year":"2007","unstructured":"Georgescu I (2007) Similarity of fuzzy choice functions. Fuzzy Sets Syst 158:1314\u20131326","journal-title":"Fuzzy Sets Syst"},{"key":"29_CR19","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.ijar.2007.05.004","volume":"47","author":"Y Li","year":"2008","unstructured":"Li Y (2008) Approximation and robustness of fuzzy finite automata. Int J Approx Reason 47:247\u2013257","journal-title":"Int J Approx Reason"},{"key":"29_CR20","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF02881878","volume":"44","author":"DW Qiu","year":"2001","unstructured":"Qiu DW (2001) Automata theory based on complete residuated lattice-valued logic(I). Sci China (F) 44:419\u2013429","journal-title":"Sci China (F)"},{"key":"29_CR21","first-page":"442","volume":"45","author":"DW Qiu","year":"2002","unstructured":"Qiu DW (2002) Automata theory based on complete residuated lattice-valued logic(II). Sci China (F) 45:442\u2013452","journal-title":"Sci China (F)"}],"container-title":["Quantum Machine Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42484-020-00029-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s42484-020-00029-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42484-020-00029-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,17]],"date-time":"2024-08-17T03:08:35Z","timestamp":1723864115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s42484-020-00029-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,7]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["29"],"URL":"https:\/\/doi.org\/10.1007\/s42484-020-00029-3","relation":{},"ISSN":["2524-4906","2524-4914"],"issn-type":[{"type":"print","value":"2524-4906"},{"type":"electronic","value":"2524-4914"}],"subject":[],"published":{"date-parts":[[2020,11,7]]},"assertion":[{"value":"4 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 November 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"15"}}