Logic and Algebraic Structures in Quantum Computing

Experts in the field explore the connections across physics, quantum logic, and quantum computing.

Preface Jennifer Chubb, Ali Eskandarian and Valentina Harizanov; Introduction Jennifer Chubb, Ali Eskandarian and Valentina Harizanov; 1. A (very) brief tour of quantum mechanics, computation, and category theory Jennifer Chubb and Valentina Harizanov; 2. Could logic be empirical? The Putnam¿Kripke debate Allen Stairs; 3. The essence of quantum theory for computers William C. Parke; 4. Fiber products of measures and quantum foundations Adam Brandenburger and H. Jerome Keisler; 5. Operational theories and categorical quantum mechanics Samson Abramsky and Chris Heunen; 6. Relating operator spaces via adjunctions Bart Jacobs and Jorik Mandemaker; 7. Topos-based logic for quantum systems and bi-Heyting algebras Andreas Döring; 8. The logic of quantum mechanics ¿ take II Bob Coecke; 9. Reasoning about meaning in natural language with compact closed categories and Frobenius algebras Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman and Bob Coecke; 10. Knot logic and topological quantum computing with Majorana fermions Louis H. Kauffman; Index.