Stabilizing quantum disjunction
type: Item
instance of: scholarly article
title: Stabilizing quantum disjunction
zbMATH Open document ID: 1457.03069
author: Luca Tranchini
published in: Journal of Philosophical Logic
publication date: 2018-12-19T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03G12
zbMATH DE Number: 6995864
zbMATH Keywords: harmony
zbMATH Keywords: stability
zbMATH Keywords: expansion
zbMATH Keywords: quantum-disjunction
zbMATH Keywords: permutative conversion
MaRDI profile type: Publication
full work available at URL: s10992-018-9460-7
OpenAlex ID: W2793750803
cites work: WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
cites work: On harmony and permuting conversions
cites work: General-elimination stability
cites work: Q5559220
cites work: Q5632554
cites work: Q4192055
cites work: Q3661478
cites work: A natural extension of natural deduction
cites work: The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
cites work: Q3879417
cites work: On the equivalence conjecture for proof-theoretic harmony
cites work: Gentzen's Proof of Normalization for Natural Deduction
Wikidata QID: Q130183215
DOI: 10.1007/S10992-018-9460-7
Recommended article: Stabilization of Quantum Computations by Symmetrization
Recommended article: Disjunctive quantum logic in dynamic perspective
Recommended article: Stability of quantum linear logic circuits against perturbations
Recommended article: Stabilizing entangled states with quasi-local quantum dynamical semigroups
Recommended article: The complexity of quantum disjointness
Recommended article: Quantum contextuality with stabilizer states
Recommended article: The resource theory of stabilizer quantum computation
Recommended article: Alternating Projections Methods for Discrete-Time Stabilization of Quantum States
Recommended article: State stabilization for gate-model quantum computers
Recommended article: The problem of conjunction and disjunction in quantum logics
description: scientific article; zbMATH DE number 6995864