Gentzen methods in quantum logic
From MaRDI portal
Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Cited in
(4)- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- Natural deduction for quantum logic
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing
- Classical logic and quantum logic with multiple and common lattice models
This page was built for publication: Gentzen methods in quantum logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851799)
