1. Battilotti, G.: A paraconsistent and predicative logical calculus in the framework of quantum computation. Logical considerations on efficient computational strategies, related to semantical aspects. Ph.D. Thesis, University of Florence (2009)
2. Battilotti, G.: Logic, computation and quantum theories of mind (Italian) Humana Mente, 5th issue (2008). www.humana-mente.it
3. Battilotti, G., Faggian, C.: Quantum logic and the cube of logics. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, new edition, vol. 6. Kluwer Academic, Dordrecht (2002). Chap. “Quantum Logic” (M.L. Dalla Chiara, R. Giuntini)
4. 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)
5. Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Compositional and holistic quantum computational semantics. Nat. Comput. (2006)