Logical Structures Underlying Quantum Computing

In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures. View Full-Tex