Quantum computational structures: Categorical equivalence for square root qMV-algebras

DOI10.1007/S11225-010-9250-XMaRDI QIDQ609641zbMATH OpenOpenAlexFDO

Authors H. Freytes

Publication date 1 December 2010

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-010-9250-x

zbMATH Keywords

quantum computationorthomodular lattice\(\sigma\)-additive state\(\sqrt{\mathrm{qMV}}\)-algebrafiltering statefinitely additive statepreordered semigroupsemi-exposed face

Mathematics Subject Classification ID

Quantum computation (81P68) MV-algebras (06D35)

Recommendations

• On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras
• Categories of semigroups in quantum computational structures
• MV-algebras and quantum computation
• Logics from \(\sqrt{\prime}\) quasi-MV algebras
• The logic of quasi-MV algebras

Cites work

• scientific article; zbMATH DE number 1775384 (Why is no real title available?)
• An unsharp logic from quantum computation
• Categories of semigroups in quantum computational structures
• Expanding quasi-MV algebras by a quantum operator
• Fuzzy propositional logic associated with quantum computational gates
• MV-algebras and quantum computation
• Quantum computational logic
• Quantum computer with mixed states and four-valued logic
• Quantum logic as motivated by quantum computing
• Sequential products on effect algebras
• States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
• Uniqueness and order in sequential effect algebras

Cited in

(7)

• Categories of semigroups in quantum computational structures
• Categorical Equivalences for Formula quasi-MV Algebras
• A discriminator variety of Gödel algebras with operators arising in quantum computation
• Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
• A 2-Categorical Approach to Composing Quantum Structures.
• Algebraic properties of uninitialized sequential quantum machines
• Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices

This page was built for publication: Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609641)