Proof theory for minimal quantum logic: A remark

DOI10.1007/BF00674960zbMath0824.03032OpenAlexW1991921883MaRDI QIDQ1894594

Mitio Takano

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

zbMATH Keywords

cut-elimination theoremcut-free sequential system for minimal quantum logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items

Unnamed Item, Proof theory of paraconsistent quantum logic, Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules, Gentzen-type calculi for involutive quantales

Cites Work

• Proof theory for minimal quantum logic. I