MV-algebras and quantum computation
The authors give a generalization of MV-algebras which is motivated by a study of quantum computing, namely of quantum logical gates. A prototypical example is a unit circle with the center \(\langle \frac{1}{2}, \frac{1}{2} \rangle.\) These algebras are called quasi-MV-algebras, and it is shown that they can be embedded into the direct product of an MV-algebra and a special kind of quasi-MV-algebra. In addition, the completeness theorem is proved that says that two terms are the same in every flat quasi-MV-algebra iff they are the same in the above-mentioned ``circle.
- Quantum MV algebras
- Quantum MV-algebras and commutativity
- scientific article; zbMATH DE number 1045679
- Algebraic Methods in Quantum Informatics
- Quantum computational algebra with a non-commutative generalization
- Quantum computations and contractions of Lie algebras
- MV-observables and MV-algebras
- scientific article; zbMATH DE number 951667
- scientific article; zbMATH DE number 1568931
- An independent axiomatization of quantum MV algebras
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- A New Proof of the Completeness of the Lukasiewicz Axioms
- An unsharp logic from quantum computation
- scientific article; zbMATH DE number 3884155 (Why is no real title available?)
- scientific article; zbMATH DE number 2070198 (Why is no real title available?)
- scientific article; zbMATH DE number 2236756 (Why is no real title available?)
- Ideals in universal algebras
- Implication algebras are 3-permutable and 3-distributive
- On subtractive varieties II: General properties
- On subtractive varieties. I
- Substructural logics: a primer
- Many-valued quantum algebras
- A discriminator variety of Gödel algebras with operators arising in quantum computation
- Quantum MV-algebras and commutativity
- Ideals and congruences in quasi-pseudo-MV algebras
- Quasilinear QMV algebras
- Quantum MV algebras
- On Birkhoff's common abstraction problem
- States, state operators and quasi-pseudo-MV algebras
- Some results in weak pseudo-quasi-Wajsberg algebras
- MV-algebra for cultural rules
- Expanding quasi-MV algebras by a quantum operator
- On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
- Quantum computational algebra with a non-commutative generalization
- Semi-linear varieties of lattice-ordered algebras.
- Some generalizations of fuzzy structures in quantum computational logic
- Quasi-subtractive varieties
- Categories of semigroups in quantum computational structures
- The representation of square root quasi-pseudo-MV algebras
- Boolean-like algebras
- The logic of quasi-MV algebras
- Categorical Equivalences for Formula quasi-MV Algebras
- The Toffoli-Hadamard gate system: an algebraic approach
- On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras
- Logics from \(\sqrt{\prime}\) quasi-MV algebras
- Quantum computational logic with mixed states
- The new generalization of Wajsberg algebras
- On quantum-MV algebras. I: The orthomodular algebras
- Quasi-discriminator varieties
- Compatible idempotent terms in universal algebra.
- COMPOSITION ON MV-ALGEBRAS
- Probability in quantum computation and quantum computational logics: a survey
- Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras
- Towards quantum computational logics
- Joins and subdirect products of varieties
- Some results on quasi MV-algebras and perfect quasi MV-algebras
- Editorial introduction
- Quantum vote based on quantum logical operators
- On certain quasivarieties of quasi-MV algebras
- Filters and ideals in the generalization of pseudo-BL algebras
This page was built for publication: MV-algebras and quantum computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2498366)
