Abstract
We investigate an expansion of quasi-MV algebras ([10]) by a genuine quantum unary operator. The variety \(\sqrt{\prime} {\mathbb{QMV}}\) of such \(\sqrt{\prime}\) quasi-MV algebras has a subquasivariety whose members—called cartesian—can be obtained in an appropriate way out of MV algebras. After showing that cartesian . quasi-MV algebras generate \(\sqrt{\prime} {\mathbb{QMV}}\) ,we prove a standard completeness theorem for \(\sqrt{\prime} {\mathbb{QMV}}\) w.r.t. an algebra over the complex numbers.
Similar content being viewed by others
References
Cattaneo G., Dalla Chiara M.L., Giuntini R., Leporini R. (2001) ‘An unsharp logic from quantum computation’. International Journal of Theoretical Physics 43 (7-8): 1803–1817
Cattaneo G., Dalla Chiara M.L., Giuntini R., Leporini R. (2004) ‘Quantum computational structures’. Mathematica Slovaca 54: 87–108
Chajda I. (1995) ‘Normally presented varieties’. Algebra Universalis 34: 327–335
Chajda I., Halas R., Kuehr J., Vanzurova A. (2005) ‘Normalization of MV algebras’. Mathematica Bohemica 130(3): 283–300
Cignoli R., D’Ottaviano I.M.L., Mundici D. (1999) Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht
Dalla Chiara M.L., Giuntini R., Greechie R. (2004) Reasoning in Quantum Theory. Kluwer, Dordrecht
Dalla Chiara M.L., Giuntini R., Leporini R. (2005) ‘Logics from quantum computation’. International Journal of Quantum Information 3(2): 293–337
Domenech G., Freytes H. (2006) ‘Fuzzy propositional logic associated with quantum computational gates’. International Journal of Theoretical Physics 45(1): 228–261
Gumm H.P., Ursini A. (1984) ‘Ideals in universal algebra’. Algebra Universalis 19: 45–54
Ledda A., Konig M., Paoli F., Giuntini R. (2006) ‘MV algebras and quantum computation’. Studia Logica 82(2): 245–270
Lewin R., Sagastume M., Massey P. (2004) ‘MV*algebras’. Logic Journal of the IGPL 12(6): 461–483
Nielsen M., Chuang I. (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge
Pigozzi D. (1972) ‘On some operations on classes of algebras’. Algebra Universalis 2: 346–353
Ursini A. (1994) ‘On subtractive varieties I’. Algebra Universalis 31: 204–222
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Giuntini, R., Ledda, A. & Paoli, F. Expanding Quasi-MV Algebras by a Quantum Operator. Stud Logica 87, 99–128 (2007). https://doi.org/10.1007/s11225-007-9079-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9079-0