{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:33:26Z","timestamp":1772120006825,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,8,5]],"date-time":"2022-08-05T00:00:00Z","timestamp":1659657600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,8,5]],"date-time":"2022-08-05T00:00:00Z","timestamp":1659657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s11787-022-00307-7","type":"journal-article","created":{"date-parts":[[2022,8,5]],"date-time":"2022-08-05T06:07:05Z","timestamp":1659679625000},"page":"469-497","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Natural Deduction for Quantum Logic"],"prefix":"10.1007","volume":"16","author":[{"given":"K.","family":"Tokuo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,5]]},"reference":[{"key":"307_CR1","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/s10773-005-7051-1","volume":"44","author":"I Chajda","year":"2005","unstructured":"Chajda, I., Hala\u0161, R.: An implication in orthologic. Int. J. Theor. Phys. 44, 735\u2013744 (2005)","journal-title":"Int. J. Theor. Phys."},{"key":"307_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10587-008-0002-2","volume":"58","author":"I Chajda","year":"2008","unstructured":"Chajda, I.: The axioms for implication in orthologic. Czechoslov. Math. J. 58, 15\u201321 (2008)","journal-title":"Czechoslov. Math. J."},{"key":"307_CR3","first-page":"221","volume":"25","author":"NJ Cutland","year":"1982","unstructured":"Cutland, N.J., Gibbins, P.F.: A regular sequent calculus for quantum logic in which $$\\wedge $$ and $$\\vee $$ are dual. Logique Anal. (N.S.) 25, 221\u2013248 (1982)","journal-title":"Logique Anal. (N.S.)"},{"key":"307_CR4","doi-asserted-by":"crossref","unstructured":"Dalla Chiara,\u00a0M.L., Giuntini, R.: Quantum logics. In: Gabbay, D.M., Guenthner, F. (eds.), Handbook of Philosophical Logic, vol. 6, Springer, pp. 129\u2013228 (2002)","DOI":"10.1007\/978-94-017-0460-1_2"},{"key":"307_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1017941704456","volume":"26","author":"Y Delmas-Rigoutsos","year":"1997","unstructured":"Delmas-Rigoutsos, Y.: A double deduction system for quantum logic based on natural deduction. J. Philos. Log. 26, 57\u201367 (1997)","journal-title":"J. Philos. Log."},{"key":"307_CR6","doi-asserted-by":"crossref","unstructured":"Engesser,\u00a0K., Gabbay, D., Lehmann, D.: Nonmonotonicity and holicity in quantum logic. In: Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Engesser, K., Gabbay, D., Lehmann, D. (eds.), Elsevier, pp. 587\u2013623 (2009)","DOI":"10.1016\/B978-0-444-52869-8.50016-5"},{"key":"307_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1026652903971","volume":"37","author":"C Faggian","year":"1998","unstructured":"Faggian, C., Sambin, G.: From basic logic to quantum logics with cut-elimination. Int. J. Theor. Phys. 37, 31\u201337 (1998)","journal-title":"Int. J. Theor. Phys."},{"key":"307_CR8","unstructured":"Girard, J.Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press (1989)"},{"key":"307_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF00484952","volume":"29","author":"GM Hardegree","year":"1974","unstructured":"Hardegree, G.M.: The conditional in quantum logic. Synthese 29, 63\u201380 (1974)","journal-title":"Synthese"},{"key":"307_CR10","doi-asserted-by":"crossref","unstructured":"Harding, J.: The source of the orthomodular law. In: Engesser, K., Gabbay, D., Lehmann, D. (eds.), Handbook of Quantum Logic and Quantum Structures: Quantum Structures, Elsevier, pp. 555\u2013586 (2007)","DOI":"10.1016\/B978-044452870-4\/50035-2"},{"key":"307_CR11","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1305\/ndjfl\/1093891789","volume":"16","author":"L Herman","year":"1975","unstructured":"Herman, L., Marsden, E.L., Piziak, R.: Implication connectives in orthomodular lattices. Notre Dame J. Formal Log. 16, 305\u2013328 (1975)","journal-title":"Notre Dame J. Formal Log."},{"key":"307_CR12","doi-asserted-by":"publisher","first-page":"615","DOI":"10.2307\/2274651","volume":"55","author":"J Malinowski","year":"1990","unstructured":"Malinowski, J.: The deduction theorem for quantum logic: some negative results. J. Symb. Log. 55, 615\u2013625 (1990)","journal-title":"J. Symb. Log."},{"key":"307_CR13","doi-asserted-by":"publisher","first-page":"339","DOI":"10.2307\/2273194","volume":"45","author":"H Nishimura","year":"1980","unstructured":"Nishimura, H.: Sequential method in quantum logic. J. Symb. Log. 45, 339\u2013352 (1980)","journal-title":"J. Symb. Log."},{"key":"307_CR14","doi-asserted-by":"crossref","unstructured":"Nishimura,\u00a0H.: Gentzen methods in quantum logic. In: Engesser, K., Gabbay, D., Lehmann, D. (eds.), Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Elsevier, pp. 227\u2013260 (2009)","DOI":"10.1016\/B978-0-444-52869-8.50009-8"},{"key":"307_CR15","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1007\/BF00669413","volume":"26","author":"M Pavi\u010di\u0107","year":"1987","unstructured":"Pavi\u010di\u0107, M.: Minimal quantum logic with merged implications. Int. J. Theor. Phys. 26, 845\u2013852 (1987)","journal-title":"Int. J. Theor. Phys."},{"key":"307_CR16","first-page":"610","volume":"71","author":"M Pavi\u010di\u0107","year":"1998","unstructured":"Pavi\u010di\u0107, M., Megill, N.D.: Binary orthologic with modus ponens is either orthomodular or distributive. Helv. Phys. Acta 71, 610\u2013628 (1998)","journal-title":"Helv. Phys. Acta"},{"key":"307_CR17","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1007\/s11225-014-9598-4","volume":"102","author":"G Restall","year":"2014","unstructured":"Restall, G.: Normal proofs, cut free derivations and structural rules. Stud. Logica 102, 1143\u20131166 (2014)","journal-title":"Stud. Logica"},{"key":"307_CR18","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1023\/A:1026655500241","volume":"38","author":"L Roman","year":"1999","unstructured":"Roman, L., Zuazua, R.E.: Quantum implication. Int. J. Theor. Phys. 38, 793\u2013797 (1999)","journal-title":"Int. J. Theor. Phys."},{"key":"307_CR19","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symb. Log. 65, 979\u20131013 (2000)","journal-title":"J. Symb. Log."},{"key":"307_CR20","doi-asserted-by":"crossref","unstructured":"Selinger,\u00a0P., Valiron, B.: A lambda calculus for quantum computation with classical control. In: Urzyczyn, P. (eds.), Lecture Notes in Computer Science, vol. 3461, Springer, pp. 227\u2013260 (2005)","DOI":"10.1007\/11417170_26"},{"key":"307_CR21","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A van Tonder","year":"2004","unstructured":"van Tonder, A.: A lambda calculus for quantum computation. SIAM J. Comput. 33, 1109\u20131135 (2004)","journal-title":"SIAM J. Comput."},{"key":"307_CR22","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.tcs.2005.04.001","volume":"344","author":"M Ying","year":"2005","unstructured":"Ying, M.: A theory of computation based on quantum logic (I). Theoret. Comput. Sci. 344, 134\u2013207 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"307_CR23","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s42484-019-00005-6","volume":"1","author":"Y Younes","year":"2019","unstructured":"Younes, Y., Schmitt, I.: On quantum implication. Quantum Mach. Intell. 1, 53\u201363 (2019)","journal-title":"On quantum implication. Quantum Mach. Intell."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00307-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00307-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00307-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T15:06:29Z","timestamp":1665673589000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00307-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,5]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["307"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00307-7","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.z67bbw","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,5]]},"assertion":[{"value":"22 July 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 July 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 August 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}