Stabilizing quantum disjunction

DOI10.1007/s10992-018-9460-7zbMath1457.03069OpenAlexW2793750803WikidataQ130183215 ScholiaQ130183215MaRDI QIDQ1633237

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

zbMATH Keywords

harmonystabilityexpansionpermutative conversionquantum-disjunction

Mathematics Subject Classification ID

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

Related Items (2)

What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives

Cites Work

• On harmony and permuting conversions
• General-elimination stability
• On the equivalence conjecture for proof-theoretic harmony
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Gentzen's Proof of Normalization for Natural Deduction
• A natural extension of natural deduction
• WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stabilizing quantum disjunction