×

Gentzen methods in quantum logic. (English) Zbl 1273.03089

Engesser, Kurt (ed.) et al., Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Amsterdam: Elsevier/North-Holland (ISBN 978-0-444-52869-8/hbk). 227-260 (2009).
For a review of the entire collection see [Zbl 1184.81003].
For the entire collection see [Zbl 1184.81003].

MSC:

03B60 Other nonclassical logic
03B20 Subsystems of classical logic (including intuitionistic logic)
03B25 Decidability of theories and sets of sentences
03F05 Cut-elimination and normal-form theorems
03G12 Quantum logic
81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

Citations:

Zbl 1184.81003
PDFBibTeX XMLCite