Abstract
We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras and we show that the class of all effects of any Hilbert space gives rise to an example of such a structure. We investigate some properties of QMV algebras and we prove that QMV algebras represent non-idempotent extensions of orthomodular lattices.
Similar content being viewed by others
References
G. Birkhoff and J. von Neumann, The logic of quantum mechanics, Annals of Mathematics 37, 1936, 822–843.
G. Cattaneo and F. Laudisa, Axiomatic quantum mechanics, Foundations of Physics 24, 1994, 631–681.
G. Cattaneo and G. Nisticò, Brouwer-Zadeh posets and three-valued Łukasiewicz posets, Fuzzy Sets and Systems 33, 1989, 165–190.
C. C. Chang, Algebraic analysis of many valued logics,. Transactions of the American Mathematical Society 88, 1957, 467–490.
C. C. Chang, A new proof of the completeness of Łukasiewicz axioms, Transaction of the American Mathematical Society 93, 1958, 74–80.
M. L. Dalla Chiara and R. Giuntini, Unsharp quantum logics, Foundations of Physics (to appear).
M. L. Dalla Chiara and R. Giuntini, The logics of orthoalgebras, Studia Logica (to appear).
E. B. Davies, Quantum Theory of Open Systems, Academic Press, New York 1983.
D. J. Foulis and M. K. Bennett, Effect algebras and unsharp quantum logics, Foundations of Physics (to appear).
D. J. Foulis, R. J. Greechie and G. T. Rüttimann, Filters and supports in orthoalgebras, International Journal of Theoretical Physics 31, 1992, 787–807.
D. J. Foulis and C. Randall, Empirical logics, (ed.) H. Neumann, [in:] Interpretations and Foundations of Quantum Mechanics, Bibliographisches Institut, Mannheim 1981.
R. Giuntini, A semantical investigation on Brouwer-Zadeh logic, Journal of Philosophical Logic 20, 1991, 411–433.
R. Giuntini, Semantic alternatives in Brouwer-Zadeh logics, International Journal of Theoretical Physics 31, 1992, 83–97.
R. Giuntini, Unsharp orthoalgberas and quantum MV algebras, C. Garola, A. Rossi (eds), The Foundations of Quantum Mechanics, Kluwer, Dordrecht 1995, 179–185.
R. Giuntini and H. Greuling, Toward a formal language for unsharp properties, Foundations of Physics 20, 1989, 931–935.
R. Godowski, Partial Greechie diagrams for modular ortholattices, Demonstratio Mathematica 14, 1987, 19–35.
G. Hardegree and P. Lock, Connections among quantum logics, International Journal of Theoretical Physics 24, 1984, 43–53.
G. Kalmbach, Orthomodular Lattices, Academic Press, New York 1983
F. Kôpka and F. Chovanec, D-posets, Mathematica Slovaca 44, 1994, 21–34.
G. Ludwig, Die Grundlagen der Quantenmechanik, Springer Verlag, Berlin/Heidelberg/New York 1954. English transl. Foundations of Quantum Mechanics. I, Springer Verlag, Berlin/Heidelberg/New York 1983.
P. Mangani, Su certe algebre connesse con logiche a più valori, Bollettino dell'Unione Matematica Italiana 8, 1973, 68–78.
D. Mundici, Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, Journal of Functional Analysis 65, 1986, 15–63.
M. Navara and P. Pták, Difference posets and orthoalgebras (submitted).
K.I. Rosenthal, Quantales and their Applications, Longman, New York 1990
Author information
Authors and Affiliations
Additional information
I should like to thank Prof. M.L. Dalla Chiara and Dr. P. Minari for many interesting comments and remarks.
Rights and permissions
About this article
Cite this article
Giuntini, R. Quantum MV algebras. Stud Logica 56, 393–417 (1996). https://doi.org/10.1007/BF00372773
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00372773