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
Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach, GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC, Quantum states as virtual singletons: converting duality into symmetry, Proof theory of paraconsistent quantum logic, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi, Natural deduction for quantum logic, Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems, Gentzen-type calculi for involutive quantales, A solution of the uniform word problem for ortholattices