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

Subject: Mathematics  Logic  Computer Science  Logic in Computer Science  Quantum Physicsacm: TheoryofComputation_GENERAL  ComputerSystemsOrganization_MISCELLANEOUSarxiv: Computer Science::Logic in Computer Science

References
(30)
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. 823843.
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. 129228.
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. 512531.
Dunn, J.M., The Impossibility of Certain HigherOrder NonClassical 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

 Download from


Cite this publication