Towards Quantum Computational Logics

Quantum computational logics have recently stirred increasing attention (Cattaneo et al in Math Slovaca 54 87-108, 2004, Ledda et al in Stud Log 82(2) 245-270,2006, Giuntini et al in Stud Log 87(1) 99-128, 2007) In this paper we outline their motivations and report on the state of the art of the approach to the logic of quantum computation that has been recently taken up and developed by our research group