Nishimura, Hirokazu 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]. Cited in 2 ReviewsCited in 4 Documents 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 \textit{H. Nishimura}, in: Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij. Amsterdam: Elsevier/North-Holland. 227--260 (2009; Zbl 1273.03089)