1. Battilotti, G.: Interpreting quantum parallelism by sequents. Int. J. Theor. Phys. 49, 3022–3029 (2010)
2. Battilotti, G., Faggian, C.: Quantum logic and the cube of logics. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, new edn. Kluwer Academic, Dordrecht (2002). Chap. “Quantum Logic” (M.L. Dalla Chiara, R. Giuntini)
3. Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Quantum computational logics: a survey. In: Hendricks, V.F., Malinowski, J. (eds.) Trends in Logic: 50 Years of Studia Logica, pp. 213–255. Kluwer Academic, Dordrecht (2003)
4. Jammer, M.: The Philosophy of Quantum Mechanics. Wiley, New York (1974)
5. Maietti, M.E.: Course of Logic for Computer Science. Lecture Notes in Logic. University of Padua, Padua (2010)