Editors’ Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing-Reference-Cited by-同舟云学术

Editors’ Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

Published:2013-05-02 Issue:3 Volume:42 Page:443-459
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Dunn J. Michael,Moss Lawrence S.,Wang Zhenghan

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s10992-013-9273-7.pdf

Reference30 articles.

1. 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.

2. Birkhoff, G. (1940). Lattice theory, revised editions 1948 and 1967, colloquium publications (Vol. 25). Providence, RI: American Mathemaical Society.

3. Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823–843.

4. Boole, G. (1847). The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning. Cambridge: Macmillan. Reprinted Oxford: Blackwell 1951.

5. 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.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. quAPL: Modeling Quantum Computation in an Array Programming Language;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17

2. Logical Aspects of Quantum Structures;Studies in Systems, Decision and Control;2022

3. An Holistic Extension for Classical Logic via Quantum Fredkin Gate;Entropy;2021-09-07

4. A First Step to the Categorical Logic of Quantum Programs;Entropy;2020-01-24

5. Holistic Type Extension for Classical Logic via Toffoli Quantum Gate;Entropy;2019-06-27