Stabilizing quantum disjunction
From MaRDI portal
Publication:1633237
DOI10.1007/S10992-018-9460-7zbMATH Open1457.03069OpenAlexW2793750803WikidataQ130183215 ScholiaQ130183215MaRDI QIDQ1633237FDOQ1633237
Authors: Luca Tranchini 
Publication date: 19 December 2018
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-018-9460-7
Recommendations
- Stabilization of Quantum Computations by Symmetrization
- Disjunctive quantum logic in dynamic perspective
- Stability of quantum linear logic circuits against perturbations
- Stabilizing entangled states with quasi-local quantum dynamical semigroups
- The complexity of quantum disjointness
- Quantum contextuality with stabilizer states
- The resource theory of stabilizer quantum computation
- Alternating Projections Methods for Discrete-Time Stabilization of Quantum States
- State stabilization for gate-model quantum computers
- The problem of conjunction and disjunction in quantum logics
Cites Work
- Gentzen's Proof of Normalization for Natural Deduction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A natural extension of natural deduction
- On harmony and permuting conversions
- General-elimination stability
- Weak disharmony: some lessons for proof-theoretic semantics
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Title not available (Why is that?)
- On the equivalence conjecture for proof-theoretic harmony
- Title not available (Why is that?)
Cited In (4)
This page was built for publication: Stabilizing quantum disjunction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1633237)
