Logical Structures Underlying Quantum Computing
Federico Holik, Giuseppe Sergioli, Hector Freytes, Angel Plastino · Entropy · 2019
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.