Abstract
In this paper we investigate a categorical equivalence between square root qMV -algebras (a variety of algebras arising from quantum computation) and a category of preordered semigroups.
Similar content being viewed by others
References
Aharanov, D., A. Kitaev, and N. Nisan, ‘Quantum circuits with mixed states’, Proc. 13th Annual ACM Symp. on Theory of Computation 20–30, 1997.
Cattaneo G., Dalla Chiara M.L., Giuntini R., Leporini R.: ‘An unsharp logic from quantum computation’. Int. J. Theor. Phys. 43, 1803–1817 (2004)
Cignoli R., D’Ottaviano I., Mundici D.: Algebraic foundations of manyvalued reasoning. Kluwer, Dordrecht-Boston-London (2000)
Dalla Chiara M.L., Giuntini R., Greechie R.: Reasoning in Quantum Theory. Kluwer, Dordrecht (2004)
Domenech G., Freytes H.: ‘Fuzzy propositional logic associated with quantum computational gates’. Int. J. Theor. Phys. 34, 228–261 (2006)
Dunn J.M., Hagge T.J., Moss L.S., Wang Z.: ‘Quantum logic as motived by quantum computing’. J. Symbolic Logic 70, 353–359 (2005)
Freytes H., Ledda A.: ‘Categories of semigroups in quantum computational structures’. Math. Slovaca 59, 413–432 (2009)
Freytes, H., A. Ledda, and G. Sergioli, ‘Stone-Weierstrass type theorem in the framework of irreversible quantum computation’, submitted to the Int. J. Theor. Phys., 2008.
Giuntini R., Ledda A., Paoli F.: ‘Expanding quasi-MV algebras by a quantum operator’. Studia Logica 87, 99–128 (2007)
Gudder S.: ‘Quantum computational logic’. Int. J. Theor. Phys. 42, 39–47 (2003)
Gudder S., Greechie R.: ‘Sequential products on effect algebras’. Rep. Math. Phys. 49, 87–111 (2002)
Gudder S., Greechie R.: ‘Uniqueness and order in sequential effect algebras’. Int. J. Theor. Phys. 44, 755–770 (2005)
Kraus, K., States, effects and operations, Springer-Verlag, 1983.
Ledda A., Konig M., Paoli F., Giuntini R.: ‘MV algebras and quantum computation’. Studia Logica 82, 245–270 (2006)
Paoli F., Ledda A., Giuntini R., Freytes H.: ‘On some properties of QMV algebras and \({\sqrt\prime}\) QMV algebras’. Rep. Math. Logic 44, 53–85 (2008)
Tarasov V.: ‘Quantum computer with Mixed States and Four-Valued Logic’. J. Phys. A 35, 5207–5235 (2002)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Freytes, H. Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras. Stud Logica 95, 63–80 (2010). https://doi.org/10.1007/s11225-010-9250-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9250-x