From basic logic to quantum logics with cut-elimination

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)

zbMATH Keywords

sequent calculusquantum logicbasic logiccut-eliminationproof searchdecision procedureorthologic

Mathematics Subject Classification ID

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 (9)

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 ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Proof theory of paraconsistent quantum logic ⋮ A solution of the uniform word problem for ortholattices ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ Natural deduction for quantum logic ⋮ Gentzen-type calculi for involutive quantales

This page was built for publication: From basic logic to quantum logics with cut-elimination