On some properties of quasi-MV algebras and square root ' quasi-MV algebras

• Autorzy: Paoli F. , Ledda A. , Freytes H.
• Języki publikacji: EN

Abstrakty

EN

We investigate some properties of two varieties of algebras arising from quantum computation - quasi-MV alge- bras and square root ' quasi-MV algebras - first introduced in [13], [12] and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of square root ' quasi- MV algebras; we give a representation of semisimple square root ' quasi-MV algebras in terms of algebras of functions; finally, we describe the structure of free algebras with one generator in both varieties.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2009
• Tom: Vol. 44
• Strony: 31--63
• Opis fizyczny: Bibliogr. 18 poz.

Twórcy

autor

Paoli F.

autor

Ledda A.

autor

Freytes H.

• Department of Education, University of Cagliari,

Bibliografia

• [1] L.P. Belluce, Semisimple algebras of infinite-valued logic and bold fuzzy set theory , Canadian Journal of Mathematics 38, 6 (1986), pp. 1356–1379.
• [2] W.J. Blok, I.M.A. Ferreirim, On the structure of hoops, Algebra Universalis 43 (2000), pp. 233–257.
• [3] G. Cattaneo, M. L. Dalla Chiara, R. Giuntini, R. Leporini, An unsharp logic from quantum computation, International Journal of Theoretical Physics 43, 7-8, 2001, pp. 1803–1817.
• [4] G. Cattaneo, M. L. Dalla Chiara, R. Giuntini, R. Leporini, Quantum computational structures , Mathematica Slovaca 54 (2004), pp. 87–108.
• [5] C.C. Chang, Algebraic analysis of many-valued logics, Transactions of the AMS 88 (1958), pp. 467–490.
• [6] R. Cignoli, I.M.L. D’Ottaviano, D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 1999.
• [7] R. Cignoli, E. Dubuc, D. Mundici, Extending Stone duality to multisets and locally finite MV algebras, Journal of Pure and Applied Algebra 189 (2004), pp. 37–59.
• [8] M.L. Dalla Chiara, R. Giuntini, R. Greechie, Reasoning in Quantum Theory, Kluwer, Dordrecht, 2004.
• [9] M.L. Dalla Chiara, R. Giuntini, R. Leporini, Logics from quantum computation, International Journal of Quantum Information 3, 2 (2005), pp. 293–337.
• [10] J. Gispert, D. Mundici, MV algebras: A variety for magnitudes with Archimedean units, Algebra Universalis 53, 1 (2005), pp. 7–43.
• [11] R. Giuntini, Weakly linear quantum MV algebras, Algebra Universalis 53, 1 (2005), pp. 45–72.
• [12] R. Giuntini, A. Ledda, F. Paoli, Expanding quasi-MV algebras by a quantum operator, Studia Logica 87, 1 (2007), pp. 99–128.
• [13] A. Ledda, M. Konig, F. Paoli, R. Giuntini, MV algebras and quantum computation, Studia Logica 82, 2 (2006), pp. 245–270.
• [14] R. McNaughton, A theorem about infinite-valued sentential logic, Journal of Symbolic Logic 16 (1951), pp. 1–13.
• [15] D. Mundici, Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science 52 (1987), pp. 145–153.
• [16] D. Mundici, A constructive proof of McNaughton’s theorem in infinite-valued logics, Journal of Symbolic Logic 59 (1994), pp. 596–602.
• [17] M. Nielsen, I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, 2000.
• [18] C. van Alten, Congruence properties in congruence permutable and in ideal determined varieties, Algebra Universalis 53, 4 (2005), pp. 433–449.