Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Guiseppe Quantum computation and logic. How quantum computers have inspired logical investigations. (English) Zbl 06981553 Trends in Logic – Studia Logica Library 48. Cham: Springer (ISBN 978-3-030-04470-1/hbk; 978-3-030-04471-8/ebook). xvi, 178 p. (2018). MSC: 81-02 03G12 68Q12 81P05 81P10 81P68 PDFBibTeX XMLCite \textit{M. L. Dalla Chiara} et al., Quantum computation and logic. How quantum computers have inspired logical investigations. Cham: Springer (2018; Zbl 06981553) Full Text: DOI
Dalla Chiara, M.; Giuntini, R.; Greechie, R. Reasoning in quantum theory. Sharp and unsharp quantum logics. (English) Zbl 1059.81003 Trends in Logic–Studia Logica Library 22. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1978-5/hbk). xxi, 295 p. (2004). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 81-02 81P10 81P68 06C15 03G12 46N50 PDFBibTeX XMLCite \textit{M. Dalla Chiara} et al., Reasoning in quantum theory. Sharp and unsharp quantum logics. Dordrecht: Kluwer Academic Publishers (2004; Zbl 1059.81003)