A Logical Basis for Quantum Evolution and Entanglement

DOI10.1007/978-3-642-54789-8_6zbMath1286.81013OpenAlexW154789765MaRDI QIDQ5414959

Ivan T. Ivanov, Lutz Straßburger, Alessio Guglielmi, Prakash Panangaden, Richard F. Blute

Publication date: 8 May 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54789-8_6

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum coherence, entanglement, quantum correlations (81P40)

Related Items (3)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Unnamed Item ⋮ Linear Lambda Calculus and Deep Inference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deep inference and probabilistic coherence spaces
• Natural deduction and coherence for weakly distributive categories
• Discrete quantum causal dynamics
• MELL in the calculus of structures
• Locality for classical logic
• System BV is NP-complete
• On the proof complexity of deep inference
• A system of interaction and structure IV
• Polycategories
• Quantum causal histories
• Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
• A system of interaction and structure
• A System of Interaction and Structure II: The Need for Deep Inference
• A Local System for Intuitionistic Logic

This page was built for publication: A Logical Basis for Quantum Evolution and Entanglement