Stabilizing quantum disjunction

DOI10.1007/S10992-018-9460-7MaRDI QIDQ1633237zbMATH OpenOpenAlexWikidataFDO

Authors Luca Tranchini

Publication date 19 December 2018

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-018-9460-7

zbMATH Keywords

harmonystabilityexpansionpermutative conversionquantum-disjunction

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Quantum logic (03G12)

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

• scientific article; zbMATH DE number 3813515 (Why is no real title available?)
• scientific article; zbMATH DE number 3683840 (Why is no real title available?)
• scientific article; zbMATH DE number 3630747 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A natural extension of natural deduction
• General-elimination stability
• Gentzen's Proof of Normalization for Natural Deduction
• On harmony and permuting conversions
• On the equivalence conjecture for proof-theoretic harmony
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Weak disharmony: some lessons for proof-theoretic semantics

Cited in

(4)

• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• scientific article; zbMATH DE number 7679311 (Why is no real title available?)
• What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
• Intensional harmony as isomorphism

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)