QUANTUM COMPUTATIONAL LOGICS. A SURVEY