Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /

• Main Authors: Dalla Chiara, Maria Luisa (Author, http://id.loc.gov/vocabulary/relators/aut), Giuntini, Roberto (http://id.loc.gov/vocabulary/relators/aut), Leporini, Roberto (http://id.loc.gov/vocabulary/relators/aut), Sergioli, Giuseppe (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Trends in Logic, Studia Logica Library, 48
• Subjects: Logic.; Mathematical logic.; Quantum computers.; Mathematical Logic and Foundations.; Quantum Computing.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoreti...

Table of Contents:

• The mathematical environment of quantum information
• Pieces of quantum information and quantum logical gates
• Quantum entanglement: mystery and resource
• From quantum logical circuits to quantum computational logics
• Individuals, quantifiers and epistemic operators
• From qubits to qudits
• What exactly are quantum computations? Classical and quantum Turing machines
• Ambiguity in natural and artistic languages: a quantum semantic analysis
• Quantum information in the philosophical debates about quantum theory
• Mathematical Appendix.