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

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.