| dbp:reference
|
- J. von Neumann, Mathematical Foundations of Quantum Mechanics, trans. Robert T. Beyer, ed. Nicholas A. Wheeler; Princeton University Press, 2018 . pp. 160-164. JSTOR j.ctt1wq8zhp. 1955 edition available at the Internet Archive. (en)
- A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong, "PLQP & Company: Decidable Logics for Quantum Algorithms", International Journal of Theoretical Physics, vol. 53, issue 10, pp. 3628-3647, 2014. (en)
- G. Birkhoff and J. von Neumann, "The Logic of Quantum Mechanics," Annals of Mathematics, series II, vol. 37, issue 4, pp. 823–843, 1936. JSTOR 1968621. DOI 10.2307/1968621. (en)
- G. Mackey, Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, 1963. HathiTrust 2027/mdp.39015001329567. (en)
- M. L. Dalla Chiara and R. Giuntini, "Quantum Logics", in Handbook of Philosophical Logic, vol. 6, D. Gabbay and F. Guenthner , Kluwer, 2002. arXiv quant-ph/0101028 (en)
- C. Piron, Foundations of Quantum Physics, W. A. Benjamin, 1976. (en)
- G. Kalmbach Orthomodular Logic as a Hilbert Type Calculus, in Current Issues in Quantum Logic, Plenum Press, New York, ed. E. Beltrametti et al., 1981, pp. 333-340 (en)
- Norman Megill, Quantum Logic Explorer at Metamath, 2019. (en)
- G. Kalmbach Orthomodular Lattices, Academic Press, London, 1983 (en)
- Guido Bacciagaluppi, "Is Logic Empirical?", in Handbook of Quantum Logic and Quantum Structures: Quantum Logic, ed. K. Engesser, D. M. Gabbay, and D. Lehmann; Elsevier, 2009. pp. 49-78. (en)
- Günther Ludwig, Der Grundlagen der Quantenmechanik , Springer, 1954. The definitive work. Released in English as: Günther Ludwig, Foundations of Quantum Mechanics, vol. 1, trans. Carl A. Hein; Springer-Verlag, 1983.Günther Ludwig, An Axiomatic Basis for Quantum Mechanics, vol. 1: "Derivation of Hilbert Space Structure", trans. Leo F. Boron, ed. Karl Just; Springer, 1985. DOI: 10.1007/978-3-642-70029-3. . (en)
- A. Baltag and S. Smets, "LQP: The Dynamic Logic of Quantum Information", Mathematical Structures in Computer Science, vol. 16, issue 3, pp. 491-525, 2006. DOI 10.1017/S0960129506005299 arXiv 2110.01361 (en)
- G. Kalmbach Orthomodular Logic, Z. Logik und Grundl. Math., vol. 20, 1974, pp. 395-406. (en)
- M. L. Dalla Chiara, R. Giuntini, and R. Leporini, "Quantum Computational Logics: A Survey", in Trends in Logic, vol. 21, V. F. Hendricks and J. Malinowski , Springer, 2003. arXiv quant-ph/0305029 (en)
- H. Putnam, Is Logic Empirical?, Boston Studies in the Philosophy of Science V, ed. Robert S. Cohen and Marx W. Wartofsky, 1969. (en)
- Tim Maudlin, "The Tale of Quantum Logic" in Hilary Putnam; Cambridge University Press "Contemporary Philosophy in Focus" series, 2005. DOI: 10.1017/CBO9780511614187.006 . (en)
|
