scientific article
From MaRDI portal
Publication:2851799
zbMath1273.03089MaRDI QIDQ2851799
Publication date: 4 October 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Natural deduction for quantum logic
This page was built for publication:
