{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T02:08:54Z","timestamp":1785290934735,"version":"3.55.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,5,2]],"date-time":"2013-05-02T00:00:00Z","timestamp":1367452800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10992-013-9273-7","type":"journal-article","created":{"date-parts":[[2013,5,2]],"date-time":"2013-05-02T00:10:20Z","timestamp":1367453420000},"page":"443-459","source":"Crossref","is-referenced-by-count":14,"title":["Editors\u2019 Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing"],"prefix":"10.1007","volume":"42","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhenghan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,5,2]]},"reference":[{"key":"9273_CR1","unstructured":"Bennett, C.H., & Brassard, G. (1984). Quantum cryptography: Public key distribution and coin tossing. In: Proceedings of the IEEE international conference on computers, systems, and signal processing (p. 175). Bangalore."},{"key":"9273_CR2","volume-title":"Lattice theory, revised editions 1948 and 1967, colloquium publications (Vol. 25)","author":"G Birkhoff","year":"1940","unstructured":"Birkhoff, G. (1940). Lattice theory, revised editions 1948 and 1967, colloquium publications (Vol. 25). Providence, RI: American Mathemaical Society."},{"key":"9273_CR3","doi-asserted-by":"crossref","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. Annals of Mathematics, 37, 823\u2013843.","journal-title":"Annals of Mathematics"},{"key":"9273_CR4","volume-title":"The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning","author":"G Boole","year":"1847","unstructured":"Boole, G. (1847). The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning. Cambridge: Macmillan. Reprinted Oxford: Blackwell 1951."},{"key":"9273_CR5","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.29413","volume-title":"An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities","author":"G Boole","year":"1854","unstructured":"Boole, G. (1854). An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities. London: Macmillan. Reprint by Dover 1958."},{"key":"9273_CR6","unstructured":"Dalla Chiara, M.L., Giuntini, R., Greechie, R.J. (2004). Reasoning in quantum theory: Sharp and unsharp quantum logics. Trends in logic-studia logica library. Kluwer Academic Publishers."},{"key":"9273_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-94-017-0460-1_2","volume-title":"Handbook of philosophical logic","author":"ML Dalla Chiara","year":"2002","unstructured":"Dalla Chiara, M.L., & Giuntini, R. (2002). Quantum logics. In D.M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed. pp. 129\u2013228). Dordrecth: Kluwer Academic Publishers.","edition":"2"},{"key":"9273_CR8","unstructured":"Dipert, R. (1978). Development and crisis in late boolean logic: The deductive logics of Jevons, Peirce, and Schr\u00f6der, Ph. D, Dissertation: Indiana University."},{"key":"9273_CR9","doi-asserted-by":"crossref","unstructured":"Dunn, J.M. (1980). Quantum mathematics. In Proceedings of the Biennial meeting of the philosophy of science association. Symposia and invited papers (Vol. 2, pp. 512\u2013531).","DOI":"10.1086\/psaprocbienmeetp.1980.2.192608"},{"key":"9273_CR10","first-page":"xv + 363","volume-title":"Philosophical analysis: A defense by example","author":"JM Dunn","year":"1988","unstructured":"Dunn, J.M. (1988). The impossibility of certain higher-order non-classical logics with extensionality. In D.F. Austin (Ed.), Philosophical analysis: A defense by example (pp. xv + 363). Dordrecht: Kluwer Academic Publishers."},{"key":"9273_CR11","doi-asserted-by":"crossref","first-page":"353","DOI":"10.2178\/jsl\/1120224716","volume":"70","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Moss, L., Hagge, T., Wang, Z. (2005). Quantum logic as motivated by quantum computing. The Journal of Symbolic Logic, 70, 353\u2013359.","journal-title":"The Journal of Symbolic Logic"},{"key":"9273_CR12","unstructured":"Egly, U., & Tompits, H. (1999). Gentzen-like methods in, quantum logic. Presented at TAB-LEAUX\u201999: International conference on analytic tableaux and related methods. Saratoga Springs, NY. www.kr.tuwien.ac.at\/staff\/tompits\/papers\/tableaux-99.pdf ."},{"issue":"1","key":"9273_CR13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1090\/S0273-0979-02-00964-3","volume":"40","author":"MH Freedman","year":"2003","unstructured":"Freedman, M.H., Kitaev, A., Larsen, M., Wang, Z. (2003). Topological quantum computation. Bulletin of the American Mathematical Society (N.S.), 40(1), 31\u201338.","journal-title":"Bulletin of the American Mathematical Society (N.S.)"},{"issue":"4","key":"9273_CR14","doi-asserted-by":"crossref","first-page":"1194","DOI":"10.2178\/jsl\/1203350780","volume":"72","author":"TJ Hagge","year":"2007","unstructured":"Hagge, T.J. (2007). $QL(\\mathbb C^{n})$ determines n. Journal Symbolic Logic, 72(4), 1194\u20131196.","journal-title":"Journal Symbolic Logic"},{"key":"9273_CR15","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1038\/nphys1224","volume":"5","author":"MB Hastings","year":"2009","unstructured":"Hastings, M.B. (2009). Superadditivity of communication capacity using entangled inputs. Nature Physics, 5, 255\u2013257.","journal-title":"Nature Physics"},{"issue":"1972","key":"9273_CR16","first-page":"297","volume":"33","author":"AP Huhn","year":"1972","unstructured":"Huhn, A.P. (1972). Schwach distributive Verbande I. Acta Sciences and Mathematics, 33(1972), 297\u2013305.","journal-title":"Acta Sciences and Mathematics"},{"key":"9273_CR17","volume-title":"Introduction to metamathematics","author":"SC Kleene","year":"1950","unstructured":"Kleene, S.C. (1950). Introduction to metamathematics. Princeton, NJ: D. van Nostrand Company, Inc."},{"key":"9273_CR18","first-page":"375","volume-title":"Current issues in quantum logic, vol. 9 of Ettore Majorana international science series","author":"RJ Greechie","year":"1983","unstructured":"Greechie, R.J. (1983). A non-standard quantum logic with a strong set of states. In E.G. Beltrametti & B.C. van Fraassen (Eds.), Current issues in quantum logic, vol. 9 of Ettore Majorana international science series (pp. 375\u2013380). New York: Plenum."},{"key":"9273_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1098\/rsnr.1956.0006","volume":"12","author":"W Kneale","year":"1956","unstructured":"Kneale, W. (1956). Boole and the algebra of logic. Notes and Records of the Royal Society of London, 12, 53\u201363.","journal-title":"Notes and Records of the Royal Society of London"},{"key":"9273_CR20","volume-title":"Mathematical foundations of quantum theory","author":"G Mackey","year":"1957","unstructured":"Mackey, G. (1957). Mathematical foundations of quantum theory. New York: Benjamin."},{"key":"9273_CR21","volume-title":"Handbook of quantum logic and quantum structures","author":"H Nishimura","year":"2009","unstructured":"Nishimura, H. (2009). Gentzen methods in quantum logic. In K. Engesser, D.M. Gabbay, D. Lehmann (Eds.), Handbook of quantum logic and quantum structures. Amsterdam and New York: Elsevier\/North-Holland."},{"key":"9273_CR22","first-page":"216","volume-title":"Boston studies in the philosophy of science (Vol. 5)","author":"H Putnam","year":"1968","unstructured":"Putnam, H. (1968). Is logic empirical? In R. Cohen & M. Wartofsky (Eds.), Boston studies in the philosophy of science (Vol. 5, pp. 216\u2013241). Dordrecht: Reidel. Reprinted as The logic of quantum mechanics in H. Putnam, Putnam, H. (1968), Is logic empirical? In R. Cohen & M. Wartofsky (Eds.), Boston studies in the philosophy of science (Vol. 5, pp. 216\u2013241). Dordrecht: Reidel. Reprinted as \u201dThe Logic of Quantum Mechanics\u201d in H. Putnam (1975). Mathematics, matter, and method. Philosophical papers (Vol. 1, pp. 174\u2013197). Cambridge, UK: Cambridge University Press."},{"key":"9273_CR23","volume-title":"Selected letters, history of mathematics (Vol. 27)","author":"M R\u00e9dei","year":"2005","unstructured":"R\u00e9dei, M. (2005) In von Neumann, J. (Ed.), Selected letters, history of mathematics (Vol. 27). Providence, RI: American Mathematical Society."},{"key":"9273_CR24","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1080\/01445340601113955","volume":"28","author":"M R\u00e9dei","year":"2007","unstructured":"R\u00e9dei, M. (2007). The birth of quantum logic. History and Philosophy of Logic, 28, 107\u2013122.","journal-title":"History and Philosophy of Logic"},{"key":"9273_CR25","first-page":"41","volume":"2","author":"M Schroeder","year":"1997","unstructured":"Schroeder, M. (1997). A brief history of the notation of Boole\u2019s algebra. Nordic Journal of Philosophical Logic, 2, 41\u201362.","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"9273_CR26","unstructured":"Shor, P.W. (1994). Algorithms for quantum computation: discrete logarithms and factoring. 35th Annual symposium on foundations of computer science (Santa Fe, NM, 1994). IEEE Computer Society Press, 124\u2013134."},{"key":"9273_CR27","doi-asserted-by":"crossref","unstructured":"Stairs A. (forthcoming). Could logic be Empirical? The Putnam Kripke Debate. In J.C. Reimann, V. Harizanov, A. Eskandarian (Eds.), Logic & algebraic structures in quantum computing & information. Lecture notes in Logic. Cambridge UK: Cambridge University Press.","DOI":"10.1017\/CBO9781139519687.004"},{"key":"9273_CR28","first-page":"37","volume":"40","author":"MH Stone","year":"1936","unstructured":"Stone, M.H. (1936). The theory of the representations of boolean algebras. Transactions of the American Mathematical Society, 40, 37\u2013111.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9273_CR29","volume-title":"Grundlagen der Quantenmechanik","author":"J Neumann von","year":"1932","unstructured":"von Neumann, J. (1932). Grundlagen der Quantenmechanik. Berlin, Heidelberg, New York: Springer Verlag. English translation, Mathematical foundations of quantum mechanics. Princeton NJ: Princeton University Press."},{"key":"9273_CR30","unstructured":"Wang, Z. (2010). Topological quantum computation, CBMS monograph. American Mathematical Society, 112."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9273-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9273-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9273-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:51Z","timestamp":1559338191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9273-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,2]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9273"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9273-7","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,2]]}}}