From basic logic to quantum logics with cut-elimination
From MaRDI portal
Publication:1264370
DOI10.1023/A:1026652903971zbMath0904.03031MaRDI QIDQ1264370
Claudia Faggian, Giovanni Sambin
Publication date: 19 January 1999
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
sequent calculus; quantum logic; basic logic; cut-elimination; proof search; decision procedure; orthologic
03F05: Cut-elimination and normal-form theorems
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12: Quantum logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Quantum states as virtual singletons: converting duality into symmetry, Proof theory of paraconsistent quantum logic, Gentzen-type calculi for involutive quantales, A solution of the uniform word problem for ortholattices