Quantum logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Quantum logic" in English language version.

refsWebsite

Global rank English rank

6doi.org

2^nd place

3harvard.edu

18^th place

17^th place

3semanticscholar.org

11^th place

8^th place

2stanford.edu

179^th place

183^rd place

1terrytao.wordpress.com

low place

1jstor.org

26^th place

20^th place

1tuwien.ac.at

low place

1psu.edu

207^th place

136^th place

1ams.org

451^st place

277^th place

1utm.edu

1,379^th place

1,175^th place

1ncatlab.org

low place

8,775^th place

1archive.org

6^th place

1springer.com

274^th place

309^th place

1arxiv.org

69^th place

59^th place

1inria.fr

4,903^rd place

3,679^th place

ams.org

Dalla Chiara & Giuntini 2002 and de Ronde, Domenech & Freytes. Despite suggestions otherwise in Josef Jauch, Foundations of Quantum Mechanics, Addison-Wesley Series in Advanced Physics; Addison-Wesley, 1968, this property cannot be used to deduce a vector space structure, because it is not peculiar to (pre-)Hilbert spaces. An analogous claim holds in most categories; see John Harding, "Decompositions in Quantum Logic," Transactions of the AMS, vol. 348, no. 5, 1996. pp. 1839-1862. de Ronde, C.; Domenech, G.; Freytes, H. "Quantum Logic in Historical and Philosophical Perspective". Internet Encyclopedia of Philosophy.

archive.org

Jeffery Bub and William Demopoulos, "The Interpretation of Quantum Mechanics," in Logical and Epistemological Studies in Contemporary Physics, Boston Studies in the Philosophy of Science 13, ed. Robert S. Cohen and Marx W. Wartofsky; D. Riedel, 1974. pp. 92-122. DOI: 10.1007/978-94-010-2656-7. ISBN 978-94-010-2656-7.

arxiv.org

Luc Bouten; Ramon van Handel; Matthew R. James (2009). "A discrete invitation to quantum filtering and feedback control". SIAM Review. 51 (2): 239–316. arXiv:math/0606118. Bibcode:2009SIAMR..51..239B. doi:10.1137/060671504. S2CID 10435983.

doi.org

- Hirokazu Nishimura (Jan 1994). "Proof theory for minimal quantum logic I". International Journal of Theoretical Physics. 33 (1): 103–113. Bibcode:1994IJTP...33..103N. doi:10.1007/BF00671616. S2CID 123183879.
- Román, L.; Rumbos, B. (1991). "Quantum logic revisited" (PDF). Foundations of Physics. 21 (6): 727–734. Bibcode:1991FoPh...21..727R. doi:10.1007/BF00733278. S2CID 123383431.
- Luc Bouten; Ramon van Handel; Matthew R. James (2009). "A discrete invitation to quantum filtering and feedback control". SIAM Review. 51 (2): 239–316. arXiv:math/0606118. Bibcode:2009SIAMR..51..239B. doi:10.1137/060671504. S2CID 10435983.
dx.doi.org
- A. Gleason, "Measures on the Closed Subspaces of a Hilbert Space", Indiana University Mathematics Journal, vol. 6, no. 4, 1957. pp. 885-893. DOI: 10.1512/iumj.1957.6.56050. Reprinted in The Logico-Algebraic Approach to Quantum Mechanics, University of Western Ontario Series in Philosophy of Science 5a, ed. C. A. Hooker; D. Riedel, c. 1975-1979. pp. 123-133.
- Jeffery Bub and William Demopoulos, "The Interpretation of Quantum Mechanics," in Logical and Epistemological Studies in Contemporary Physics, Boston Studies in the Philosophy of Science 13, ed. Robert S. Cohen and Marx W. Wartofsky; D. Riedel, 1974. pp. 92-122. DOI: 10.1007/978-94-010-2656-7. ISBN 978-94-010-2656-7.
- Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger, "A Logical Basis for Quantum Evolution and Entanglement" in Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday; Springer, 2014. pp. 90-107. DOI: 10.1007/978-3-642-54789-8_6. HAL 01092279.

harvard.edu

ui.adsabs.harvard.edu

- Hirokazu Nishimura (Jan 1994). "Proof theory for minimal quantum logic I". International Journal of Theoretical Physics. 33 (1): 103–113. Bibcode:1994IJTP...33..103N. doi:10.1007/BF00671616. S2CID 123183879.
- Román, L.; Rumbos, B. (1991). "Quantum logic revisited" (PDF). Foundations of Physics. 21 (6): 727–734. Bibcode:1991FoPh...21..727R. doi:10.1007/BF00733278. S2CID 123383431.
- Luc Bouten; Ramon van Handel; Matthew R. James (2009). "A discrete invitation to quantum filtering and feedback control". SIAM Review. 51 (2): 239–316. arXiv:math/0606118. Bibcode:2009SIAMR..51..239B. doi:10.1137/060671504. S2CID 10435983.

inria.fr

hal.inria.fr

Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger, "A Logical Basis for Quantum Evolution and Entanglement" in Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday; Springer, 2014. pp. 90-107. DOI: 10.1007/978-3-642-54789-8_6. HAL 01092279.

jstor.org

N.J. Cutland; P.F. Gibbins (Sep 1982). "A regular sequent calculus for Quantum Logic in which ∨ and ∧ are dual". Logique et Analyse. Nouvelle Série. 25 (99): 221–248. JSTOR 44084050.

ncatlab.org

Vaughan Pratt, "Linear logic for generalized quantum mechanics," in Workshop on Physics and Computation (PhysComp '92) proceedings. See also the discussion at nLab, Revision 42, which cites G.D. Crown, "On some orthomodular posets of vector bundles," Journ. of Natural Sci. and Math., vol. 15 issue 1-2: pp. 11–25, 1975.

psu.edu

citeseerx.ist.psu.edu

Uwe Egly; Hans Tompits (1999). Gentzen-like Methods in Quantum Logic (PDF). 8th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). SUNY Albany. CiteSeerX 10.1.1.88.9045.

semanticscholar.org

api.semanticscholar.org

- Hirokazu Nishimura (Jan 1994). "Proof theory for minimal quantum logic I". International Journal of Theoretical Physics. 33 (1): 103–113. Bibcode:1994IJTP...33..103N. doi:10.1007/BF00671616. S2CID 123183879.
- Román, L.; Rumbos, B. (1991). "Quantum logic revisited" (PDF). Foundations of Physics. 21 (6): 727–734. Bibcode:1991FoPh...21..727R. doi:10.1007/BF00733278. S2CID 123383431.
- Luc Bouten; Ramon van Handel; Matthew R. James (2009). "A discrete invitation to quantum filtering and feedback control". SIAM Review. 51 (2): 239–316. arXiv:math/0606118. Bibcode:2009SIAMR..51..239B. doi:10.1137/060671504. S2CID 10435983.

springer.com

link.springer.com

Román, L.; Rumbos, B. (1991). "Quantum logic revisited" (PDF). Foundations of Physics. 21 (6): 727–734. Bibcode:1991FoPh...21..727R. doi:10.1007/BF00733278. S2CID 123383431.

stanford.edu

plato.stanford.edu

Wilce. Wilce, Alexander. "Quantum Logic and Probability Theory". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.

boole.stanford.edu

Vaughan Pratt, "Linear logic for generalized quantum mechanics," in Workshop on Physics and Computation (PhysComp '92) proceedings. See also the discussion at nLab, Revision 42, which cites G.D. Crown, "On some orthomodular posets of vector bundles," Journ. of Natural Sci. and Math., vol. 15 issue 1-2: pp. 11–25, 1975.

terrytao.wordpress.com

Terry Tao, "Venn and Euler type diagrams for vector spaces and abelian groups" on What's New (blog), 2021.

tuwien.ac.at

kr.tuwien.ac.at

Uwe Egly; Hans Tompits (1999). Gentzen-like Methods in Quantum Logic (PDF). 8th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). SUNY Albany. CiteSeerX 10.1.1.88.9045.

utm.edu

iep.utm.edu

Dalla Chiara & Giuntini 2002 and de Ronde, Domenech & Freytes. Despite suggestions otherwise in Josef Jauch, Foundations of Quantum Mechanics, Addison-Wesley Series in Advanced Physics; Addison-Wesley, 1968, this property cannot be used to deduce a vector space structure, because it is not peculiar to (pre-)Hilbert spaces. An analogous claim holds in most categories; see John Harding, "Decompositions in Quantum Logic," Transactions of the AMS, vol. 348, no. 5, 1996. pp. 1839-1862. de Ronde, C.; Domenech, G.; Freytes, H. "Quantum Logic in Historical and Philosophical Perspective". Internet Encyclopedia of Philosophy.

Quantum logic (English Wikipedia)

ams.org

archive.org

arxiv.org

doi.org

doi.org

dx.doi.org

harvard.edu

ui.adsabs.harvard.edu

inria.fr

hal.inria.fr

jstor.org

ncatlab.org

psu.edu

citeseerx.ist.psu.edu

semanticscholar.org

api.semanticscholar.org

springer.com

link.springer.com

stanford.edu

plato.stanford.edu

boole.stanford.edu

terrytao.wordpress.com

tuwien.ac.at

kr.tuwien.ac.at

utm.edu

iep.utm.edu