Logical structures underlying quantum computing
arXiv:1811.06808 · doi:10.3390/e21010077
Abstract
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.