Natural deduction for quantum logic

DOI10.1007/s11787-022-00307-7zbMath1501.03005OpenAlexW4289884257MaRDI QIDQ2084572

Kenji Tokuo

Publication date: 18 October 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00307-7

zbMATH Keywords

normalizationquantum logicnatural deduction\(\lambda\)-calculuscurry-howard isomorphism

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Functional programming and lambda calculus (68N18) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A double deduction system for quantum logic based on natural deduction
• Minimal quantum logic with merged implications
• The conditional in quantum logic
• From basic logic to quantum logics with cut-elimination
• Handbook of philosophical logic. Vol. 6
• Quantum implication
• Normal proofs, cut free derivations and structural rules
• An implication in orthologic
• Implication connectives in orthomodular lattices
• A theory of computation based on quantum logic. I
• The deduction theorem for quantum logic—some negative results
• The axioms for implication in orthologic
• Sequential method in quantum logic
• Basic logic: reflection, symmetry, visibility
• A Lambda Calculus for Quantum Computation

This page was built for publication: Natural deduction for quantum logic