- [P16]
*Reading Bi-logic in first order language*. In preparation (with M. Borozan and R. Lauro Grotto).

- [P15]
*A modal interpretation of quantum spins*. submitted (May 2020).

- [P14]
*Symmetry vs duality in logic: an interpretation of Bi-logic to model cognitive processes beyond inference*. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 8 (2014), 83--97.

**cited in:**Ignacio Matte Blanco (Wikipedia)

- [P13]
*Symmetry in Sequent Calculus and Matte Blanco's bi-logic*. In: Proceedings of ICCI*CC'14 (13th IEEE International Conference on Cognitive Informatics and Cognitive Computing), LSBU, London, UK, Aug. 18-20 2014, pp. 529--534. PDF

- [P12]
*A predicative characterization of quantum states and Matte Blanco's bi-logic*. In: Quantum Interaction, 7th International Conference, QI 2013, Leicester, UK, July 25--27, 2013 (Selected Papers). Springer LNCS vol. 8369, 2014, pp. 184--190. PDF

- [P11]
*Quantum states as virtual singletons: converting duality into symmetry*. Int. J. Theor. Phys. 53 (2014), 3488-3502 (Proceedings of the 11th Biennial Meeting of the International Quantum Structures Association, Cagliari, July 2012). PDF

- [P10]
*Characterization of quantum states in predicative logic*. Int. J. Theor. Phys. 50 (2011), 3669--3681 (Proceedings of the 10th Biennial Meeting of the International Quantum Structures Association, Boston, June 2010). PDF

- [P9]
*Interpreting quantum parallelism by sequents*. Int. J. Theor. Phys. 49 (2010), 3022-3029 (Proceedings of the 9th Biennial Meeting of the International Quantum Structures Association, Univ. Gdansk, Sopot, July 2008). PDF

- [P8]
*Logica, computazione e teorie quantistiche della mente*. Humana.Mente - Journal of Philosophical Studies 5 (2008), 119--131. PDF

- [P7]
*Pretopologies and a uniform presentation of sup-lattices, quantales and frames*. Annals of Pure and Applied Logic 137 (2006) (special issue on Formal Topology), 30--61 (with G. Sambin). PDF

- [P6]
*The internal logic of Bell's states*. Inst. of Logic, Language and Computation - UvA, technical reports X-2005-01, preproceedings of CiE 2005: New Computational Paradigms, 18--29 (with P. Zizzi). PDF

- [P5]
*Basic logic and quantum computing: logical judgements by an insider observer*. Int. J. Quantum Inf. 3 (2005), 105--109.

- [P4]
*Quantum Logic and the cube of Logics*. Chapter "Quantum Logics" (M.L. Dalla Chiara, R. Giuntini) in Handbook of Philosophical Logic, new edition, vol. 6, D. Gabbay and F. Guenthner eds., Kluwer, 2002 (with C. Faggian). PDF

**cited in the book:**

M. Dalla Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Studia Logica Library, Springer, 2013.

- [P3]
*Basic logic: reflection, symmetry, visibility*. Journal of Symbolic Logic 65 (2000), 979--1013 (with G. Sambin, C. Faggian). PDF

**cited in the books:**

- Handbook of Philosophical Logic, vol. 6, Chapter: Quantum Logics (by M. Dalla Chiara and R. Giuntini), Kluwer, 2006.

- H. Wansing, Displaying Modal Logic, Studia Logica Library, Springer, 2013.

- M. Dalla Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Studia Logica Library, Springer, 2013.

- [P2]
*Basic Logic and the cube of its extensions*. In: Logic and foundations of mathematics, Cantini, Casari, Minari eds., Synthese Lib., 280, Kluwer 1999, pp. 165--186 (with G. Sambin). PDF

**cited in the books**:

- F. Paoli, Substructural Logics: A Primer, Studia Logica Library, Springer, 2002.

- Handbook of Philosophical Logic, vol. 6, Chapter: Quantum Logics (by M. Dalla Chiara and R. Giuntini), Kluwer, 2006.

- M. Dalla Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Studia Logica Library, Springer, 2013.

- [P1]
*Embedding classical logic into basic orthologic with a primitive modality*. Logic Journal of the IGPL 9 (1998), Special Issue on Generalized Sequent Systems, H. Wansing ed., 383--402. PDF

**cited in the books**:

- Handbook of Philosophical Logic, vol. 6, Chapter: Quantum Logics (by M. Dalla Chiara and R. Giuntini), Kluwer, 2006.

- Handbook of the History of Logic, vol. 8, Elsevier, 2007, Chapter: The History of Quantum Logic (by M. Dalla Chiara, R. Giuntini and M. Redei)

- Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Elsevier, 2009, Chapter: Quantum Logic and Nonclassical Logics (by G. Cattaneo, M.L. Dalla Chiara, R. Giuntini and F. Paoli)

- [Th2]
*A paraconsistent and predicative logical calculus in the framework of quantum computation*. Ph.D. Thesis in Philosophy, University of Firenze, February 2009.

- [Th1]
*Basic Logic through the Reflection Principle*(italian). Ph.D. Thesis in Mathematical Logic and Theoretical Computer Science, University of Siena, July 1997.

- [R2]
*A basic pair for quantum mechanics*. In progress (with F. Valfre').

- [R1]
*Logical interpretation of a reversible measurement in quantum computing*. preprint arXiv: quant-ph 0408068 (2004) (with P. Zizzi).