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

\(\sigma\)-additive state\(\sqrt{\mathrm{qMV}}\)-algebrafiltering statefinitely additive stateorthomodular latticepreordered semigroupquantum computationsemi-exposed face

Mathematics Subject Classification ID

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

Review text

Quantum computing is based on quantum systems with finite-dimensional Hilbert spaces. The logical foundations of quantum computing uses quasi MV-algebras (qMV-algebras) and \(\sqrt{\mathrm{qMV}}\)-algebras. The main aim of the paper under review is to show a categorical equivalence between square root qMV-algebras and a category of preordered semigroups.

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

• 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
• scientific article; zbMATH DE number 1775384 (Why is no real title available?)
• 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)

• A discriminator variety of Gödel algebras with operators arising in quantum computation
• Categories of semigroups in quantum computational structures
• Categorical Equivalences for Formula quasi-MV Algebras
• A 2-Categorical Approach to Composing Quantum Structures.
• Algebraic properties of uninitialized sequential quantum machines
• Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
• 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)