{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T15:43:22Z","timestamp":1773416602679,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T00:00:00Z","timestamp":1557878400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T00:00:00Z","timestamp":1559779200000},"content-version":"vor","delay-in-days":22,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["721321"],"award-info":[{"award-number":["721321"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Mach. Intell."],"published-print":{"date-parts":[[2019,5,15]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Logic is an algebraic structure that defines a set of abstract rules which govern an area of interest. The abstraction property of the rules makes them reusable tools to model different problems and to reason with them. The proliferation of quantum theory brought attention to quantum logic which is a lattice of projectors and it is of importance to quantum computing. Unfortunately, basic tools like implication are not sufficiently studied in that logic, which prevents us from exploiting the power of quantum mechanics in reasoning. This note investigates the implication issue in quantum logic and defines a quantum implication operator for compatible events as well as for incompatible events. The suggested operator depends both on the angle between the vector sub-spaces of the involved events and the angles between the system state and the vector sub-spaces. It differentiates between three cases depending on the angle between the events\u2019 sub-spaces. The article further shows through an example that some classical reasoning rules such as Modus Ponens and Modus Tollens hold given the suggested implication.<\/jats:p>","DOI":"10.1007\/s42484-019-00005-6","type":"journal-article","created":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T09:02:36Z","timestamp":1559811756000},"page":"53-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On quantum implication"],"prefix":"10.1007","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1271-3633","authenticated-orcid":false,"given":"Yousef","family":"Younes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,6]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Baczy\u0144ski M, Jayaram B (2008) An introduction to fuzzy implications. In: Fuzzy implications. Springer, pp 1\u201335","DOI":"10.1007\/978-3-540-69082-5_1"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff G, Neumann JV (1936) The logic of quantum mechanics. Ann Math 37(4):823\u2013843. http:\/\/www.jstor.org\/stable\/1968621","journal-title":"Ann Math"},{"key":"5_CR3","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198718536.001.0001","volume-title":"Bananaworld: quantum mechanics for primates","author":"J Bub","year":"2016","unstructured":"Bub J (2016) Bananaworld: quantum mechanics for primates. Oxford University Press, Oxford"},{"key":"5_CR4","volume-title":"Reasoning in quantum theory: sharp and unsharp quantum logics, vol 22","author":"ML Dalla Chiara","year":"2013","unstructured":"Dalla Chiara ML, Giuntini R, Greechie R (2013) Reasoning in quantum theory: sharp and unsharp quantum logics, vol 22. Springer Science & Business Media, Berlin"},{"key":"5_CR5","unstructured":"de Vries A (2007) Algebraic hierarchy of logics unifying fuzzy logic and quantum logic. arXiv:0707.2161"},{"key":"5_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342117","volume-title":"Modal logic for philosophers","author":"JW Garson","year":"2013","unstructured":"Garson JW (2013) Modal logic for philosophers. Cambridge University Press, Cambridge"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.fss.2013.01.003","volume":"226","author":"P Grzegorzewski","year":"2013","unstructured":"Grzegorzewski P (2013) Probabilistic implications. Fuzzy Sets Syst 226:53\u201366","journal-title":"Fuzzy Sets Syst"},{"issue":"2","key":"5_CR8","first-page":"311","volume":"46","author":"H Gunawan","year":"2005","unstructured":"Gunawan H, Neswan O, Setya-Budhi W (2005) A formula for angles between subspaces of inner product spaces. Contributions to Algebra and Geometry 46(2):311\u2013320","journal-title":"Contributions to Algebra and Geometry"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BF00414186","volume":"21","author":"P Heelan","year":"1970","unstructured":"Heelan P (1970) Quantum and classical logic: their respective roles. Synthese 21(1):2\u201333","journal-title":"Synthese"},{"key":"5_CR10","volume-title":"Foundations of quantum mechanics","author":"J Jauch","year":"1968","unstructured":"Jauch J (1968) Foundations of quantum mechanics. Addison-Wesley, Reading"},{"issue":"6","key":"5_CR11","doi-asserted-by":"publisher","first-page":"1107","DOI":"10.1109\/TFUZZ.2007.896304","volume":"15","author":"M Mas","year":"2007","unstructured":"Mas M, Monserrat M, Torrens J, Trillas E (2007) A survey on fuzzy implication functions. IEEE Trans Fuzzy Syst 15(6):1107\u20131121. https:\/\/doi.org\/10.1109\/TFUZZ.2007.896304","journal-title":"IEEE Trans Fuzzy Syst"},{"issue":"12","key":"5_CR12","doi-asserted-by":"publisher","first-page":"2807","DOI":"10.1023\/B:IJTP.0000006007.58191.da","volume":"42","author":"ND Megill","year":"2003","unstructured":"Megill ND, Pavi\u010di\u0107 M (2003) Quantum implication algebras. Int J Theor Phys 42(12):2807\u20132822. https:\/\/doi.org\/10.1023\/B:IJTP.0000006007.58191.da","journal-title":"Int J Theor Phys"},{"key":"5_CR13","volume-title":"An introduction to copulas","author":"RB Nelsen","year":"2007","unstructured":"Nelsen RB (2007) An introduction to copulas. Springer Science & Business Media, Berlin"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Nielsen MA, Chuang I (2002) Quantum computation and quantum information. AAPT","DOI":"10.1119\/1.1463744"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S0888-613X(87)80002-6","volume":"1","author":"KW Oh","year":"1987","unstructured":"Oh KW, Bandler W (1987) Properties of fuzzy implication operators. Int J Approx Reason 1(3):273\u2013285","journal-title":"Int J Approx Reason"},{"issue":"4","key":"5_CR16","doi-asserted-by":"publisher","first-page":"L175","DOI":"10.1088\/0305-4470\/24\/4\/003","volume":"24","author":"A Peres","year":"1991","unstructured":"Peres A (1991) Two simple proofs of the kochen-specker theorem. J Phys A Math Gen 24(4):L175","journal-title":"J Phys A Math Gen"},{"key":"5_CR17","volume-title":"Philosophic foundations of quantum mechanics","author":"H Reichenbach","year":"1998","unstructured":"Reichenbach H (1998) Philosophic foundations of quantum mechanics. Courier Corporation, Chelmsford"},{"key":"5_CR18","unstructured":"Ross S (2006) A first course in probability. Upper Saddle River, New Jersey 07458, USA"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Rudolph S, Tserendorj T, Hitzler P (2008) What is approximate reasoning?. In: International conference on web reasoning and rule systems. Springer, pp 150\u2013164","DOI":"10.1007\/978-3-540-88737-9_12"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s00778-007-0070-1","volume":"17","author":"I Schmitt","year":"2008","unstructured":"Schmitt I (2008) Qql: a db&ir query language. The VLDB Journal\u2014The International Journal on Very Large Data Bases 17(1):39\u201356","journal-title":"The VLDB Journal\u2014The International Journal on Very Large Data Bases"},{"key":"5_CR21","volume-title":"Quantum logic","author":"K Svozil","year":"1998","unstructured":"Svozil K (1998) Quantum logic. Springer Science & Business Media, Singapore"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1305\/ndjfl\/1093882792","volume":"20","author":"JJ Zeman","year":"1979","unstructured":"Zeman JJ, et al. (1979) Quantum logic with implication. Notre Dame Journal of Formal Logic 20(4):723\u2013728","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Quantum Machine Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42484-019-00005-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s42484-019-00005-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42484-019-00005-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T17:35:14Z","timestamp":1663608914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s42484-019-00005-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,15]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2019,5,15]]}},"alternative-id":["5"],"URL":"https:\/\/doi.org\/10.1007\/s42484-019-00005-6","relation":{},"ISSN":["2524-4906","2524-4914"],"issn-type":[{"value":"2524-4906","type":"print"},{"value":"2524-4914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,15]]},"assertion":[{"value":"3 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 April 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}