A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926): Difference between revisions

The authors are motivated by the mathematical foundations of quantum computing and they define (i) an expansion of \(\sqrt{'}\) quasi-MV algebras by lattice operations, and (ii) Gödel-like implications. These notions are used in a new class of algebras, called \textit{Gödel quantum computational algebras}. The authors show that every such algebra arises as a pair algebra out of a Heyting-Wajsberg algebra. The variety of such algebras is an arithmetical variety as well as a discriminator variety.