General Information
Meeting Term: | Winter Project Period (Jan 5 – Jan 30) |
Meeting Times: | 14:00–16:00 sharp on January 6, 8, 13, 15, 22, 23, 27 |
Meeting Place | F1.15 (ILLC Seminar Room) on all days except for January 23. F2.01 on January 23. |
Instructor: | Joshua Sack |
Email: | J.H.Sack AT uva DOT nl |
|
This general information (as well as the rest of the website) will be updated as more information becomes available.
|
Suggested reading:
The following references are relevant to the topics this course aims to cover. As this list is very large (and may even grow), it is not expected that students read all of this material. Pointers will be given throughout the course as to what sections of which references are relevant to the particular subject matter we are covering at the time.
General books and surveys:
- J. Sack. Epicenter Quantum Logic Minicourse. pdf
- M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
- B. Hall. Quantum Theory for Mathematicians. Springer, 2013. [doi]
- R.I.G. Hughes. The Structure and Interpretation of Quantum Mechanics. Harvard University Press. 1992.
- C. Piron. Foundations of Quantum Physics. W.A. Benjamin, Inc. 1976.
- T. Maudlin. Quantum Non-Locality and Relativity. Blackwell Publishing, 1994; second edition, 2002, third edition, 2011.
- M. Dalla Chiara, R. Giuntini, and R. Greechie. Reasoning in Quantum Theory: Sharp and unsharp quantum logics. Kluwer academic publisher, 2004.
[doi]
- M.L. Dalla Chiara and R. Giuntini. Quantum Logics. In Handbook of Philosophical Logic Volume 6, pp. 129–228, 2002.
[doi]
[arXiv]
- A. Wilce. Quantum Logic and Probability Theory. Stanford Encyclopedia of Philosophy.
[html (fulltext)]
Early developments and algebraic semantics over Hilbert spaces:
- G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics 37, pp. 823–843, 1936.
[doi]
- J.M. Dunn, T. Hagge, L.S. Moss, Z. Wang. Quantum Logic as Motivated by Quantum Computing. The Journal of Symbolic Logic 70(2), pp. 353–359, 2005.
[url]
- C. Herrmann and M. Ziegler. Computational Complexity of Quantum Satisfiability. In the proceedings of the 26th Anual IEEE Symposium on Logic in Computer Science (LICS), pp.175–184, 2011.
[doi]
Orthologic:
- Chapter 8 of M. Dalla Chiara, R. Giuntini, and R. Greechie. Reasoning in Quantum Theory: Sharp and unsharp quantum logics. Kluwer academic publisher, 2004.
[doi]
- R.I. Goldblatt. Semantic Analysis of Orthologic. Journal of Philosophical Logic 3(1/2): 19–35, 1974.
[url]
- Chapters 5 and 6 of M.L. Dalla Chiara and R. Giuntini. Quantum Logics. In Handbook of Philosophical Logic Volume 6, pp. 129–228, 2002.
[doi]
[arXiv]
Quantum Computational Logic (and Logic Gates):
- Chapter 17 of Dalla Chiara, R. Giuntini, and R. Greechie. Reasoning in Quantum Theory: Sharp and unsharp quantum logics. Kluwer academic publisher, 2004.
[doi]
Dynamics:
- A. Baltag and S. Smets. Complete axiomatizations for quantum actions. International Journal of Theoretical Physics 44: 2267–2282, 2005.
[doi]
Interaction and logic for correlations:
- A. Baltag and S. Smets. Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement. International Journal of Theoretical Physics 49(12): 3005–3021, 2010.
[doi]
- A. Baltag and S. Smets. Correlated Information: A Logic for Multi-Partite Quantum Systems. Electronic Notes in Theoretical Computer Science 270(2): 3–14, 2011.
[doi]
- S. Abramsky and L. Hardy. Logical Bell Inequalities. Phys. Rev. A 85, 062114, 2012.
[doi]
- For game theoretic explanation of non-locality, see second half of Chapter 1 of: T. Maudlin. Quantum Non-Locality and Relativity. Blackwell Publishing, 1994; second edition, 2002, third edition, 2011.
|