The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

Preprint English OPEN
Dunn, J. Michael ; Moss, Lawrence S. ; Wang, Zhenghan (2013)
  • Subject: Mathematics - Logic | Computer Science - Logic in Computer Science | Quantum Physics
    acm: TheoryofComputation_GENERAL | ComputerSystemsOrganization_MISCELLANEOUS
    arxiv: Computer Science::Logic in Computer Science

We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began i... View more
  • References (30)
    30 references, page 1 of 3

    Bennett, C.H. and Brassard,G. (1984) Quantum Cryptography: Public key distribution and coin tossing, in Proceedings of the IEEE International Conference on Computers, Systems, and Signal Processing, Bangalore, p. 175 (1984).

    Birkhoff, G. (1940), Lattice Theory, revised editions 1948 and 1967, Colloquium Publications, vol. 25, American Mathemaical Society, Providence, RI.

    Birkhoff, G. and von Neumann, J. (1936), “The Logic of Quantum Mechanics,” Annals of Mathematics, 37, pp. 823-843.

    Boole, G. (1847), The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning, Cambridge: Macmillan, Barclay, & Macmillan; reprinted Oxford: Basil Blackwell 1951.

    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.

    Dalla Chiara, M L., Giuntini, R., and Greechie, R. J. (2004), Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics, Trends in Logic - Studia Logica Library, Kluwer Academic Publishers,

    Dalla Chiara, M L. and Giuntini, R. “Quantum Logics,” in Handbook of Philosophical Logic, 2nd Edition, eds. D. M. Gabbay and F. Guenthner, Kluwer Academic Publishers, Dordrecth, The Netherlands, pp. 129-228.

    Dipert, R. (1978), Development and Crisis in Late Boolean Logic: The Deductive Logics of Jevons, Peirce, and Schr¨oder, Ph. D. Dissertation, Indiana University.

    Dunn, J. M., Quantum Mathematics, Proceedings of the Biennial Meeting of the Philosophy of Science Association, Vol. 1980, Volume Two: Symposia and Invited Papers (1980), pp. 512-531.

    Dunn, J.M., The Impossibility of Certain Higher-Order Non-Classical Logics with Extensionality, David F. Austin, editor, Philosophical Analysis: A Defense By Example (Dordrecht, Kluwer Academic Publishers, 1988), xv + 363 pp.

  • Metrics
    No metrics available
Share - Bookmark