Author(s): Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe et al.
Series: Trends in Logic Ser
Publisher: Springer
Year: 2018
Language: English
Pages: 192
City: Cham
Content: Intro
Preface
Acknowledgements
Contents
1 The Mathematical Environment of Quantum Information
1.1 Physics and Logic in Classical Information Theory
1.2 From the Classical to the Quantum-Theoretic Formalism
1.3 The Mathematics of Quantum Theory
1.4 Composite Systems
1.5 Time Evolution and Quantum Measurements
1.6 The Unsharp Approaches to Quantum Theory
1.7 Quantum Logics
References
2 Pieces of Quantum Information and Quantum Logical Gates
2.1 Qubits, Quregisters and Mixtures of Quregisters
2.2 Quantum Logical Gates
2.3 Quantum Logical Circuits 2.4 Physical Implementations by Optical DevicesReferences
3 Entanglement: Mystery and Resource
3.1 Entangled Pure States
3.2 The Einstein-Podolsky-Rosen Paradox
3.3 Quantum Teleportation
References
4 From Quantum Circuits to Quantum Computational Logics
4.1 A New Approach to Quantum Logic: Quantum Computational Logics
4.2 A Sentential Quantum Computational Language
4.3 A Holistic Computational Semantics
4.4 Quantum Computational Logical Arguments
References
5 Individuals, Quantifiers and Epistemic Operators
5.1 Introduction
5.2 Truth-Perspectives 5.3 A First-Order Epistemic Quantum Computational Language5.4 A Holistic Quantum Computational Semantics for a Fragment of the Language mathcalL1
5.5 An Epistemic Quantum Computational Semantics
5.6 Physical Examples and Relativistic-Like Epistemic Effects
5.7 Quantifiers as Quantum Maps
References
6 From Qubits to Qudits
6.1 Introduction
6.2 Qudit-Spaces
6.3 Quantum Logical Gates in Qudit-Spaces
6.4 Łukasiewicz-Quantum Computational Logics
References
7 What Exactly Are Quantum Computations? Classical and Quantum Turing Machines
7.1 Introduction 7.2 Classical Deterministic and Probabilistic Machines7.3 Quantum State Machines
7.4 Abstract Quantum Computing Machines
References
8 Ambiguity in Natural and Artistic Languages: A Quantum Semantic Analysis
8.1 Introduction
8.2 Vague Possible Worlds and Metaphors
8.3 A Quantum Semantics for Musical Languages
References
9 Quantum Information in the Foundational and Philosophical Debates About Quantum Theory
9.1 Information Interpretations of Quantum Theory
9.2 The Collapse-Problems
9.3 Determinism, Indeterminism, Realism
9.4 A ``Quantum Logical Thinking'' in Different Fields
