Proof theory for minimal quantum logic: A remark
From MaRDI portal
Publication:1894594
DOI10.1007/BF00674960zbMath0824.03032MaRDI QIDQ1894594
Publication date: 3 August 1995
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00674960
03B60: Other nonclassical logic
03F05: Cut-elimination and normal-form theorems
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12: Quantum logic
Related Items
Unnamed Item, Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules, Proof theory of paraconsistent quantum logic, Gentzen-type calculi for involutive quantales
Cites Work