Abstract
We discuss the possibility of automatic simplification of formulas in orthomodular lattices. We describe the principles of a program which decides the validity of equalities and inequalities, as well as implications between them and other important relations significant in quantum mechanics.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Beran, L. (1984). Orthomodular Lattices. Algebraic Approach. Academia, Praha.
Birkhoff, G. (1973). Lattice Theory, 3rd edn., AMS, Providence, USA.
Birkhoff, G. and von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics 37, 823–843.
Dorfer, G. (2001). Some properties of congruence relations on orthomodular lattices. Discussiones Mathematicae, General Algebra and Applications 21, 57–66.
Dorfer, G., Dvurečenskij, A., and Länger, H. (1996). Symmetric difference in orthomodular lattices. Mathematica Slovaca 46, 435–444.
Greechie, R. J. (1977). On generating distributive sublattices of orthomodular lattices. Proceedings of the American Mathematical Society 67, 17–22.
Greechie, R. J. (1979). An addendum to “On generating distributive sublattices of orthomodular lattices.” Proceedings of the American Mathematical Society 76, 216–218.
Gudder, S. P. (1988). Quantum Probability, Academic Press, New York.
Foulis, D. (1962). A note on orthomodular lattices. Portugaliae Mathematica 21, 65–72.
Herrmann, C. (1987). The free orthomodular word problem is solved (review of the paper by G. Kalmbach). Zentralblatt für Mathematik, Zbl 0585.06004 and Mathematical Reviews, MR 87K: 06023.
Holland, S. S., Jr. (1963). A Radon–Nikodym theorem in dimension lattices. Transactions of the American Mathematical Society 108, 66–87.
Hyčko, M. (2005). Implications and equivalences in orthomodular lattices. Demonstratio Mathematica 38, 777–792.
Kalmbach, G. (1983). Orthomodular Lattices, Academic Press, London.
Kalmbach, G. (1986). The free orthomodular word problem is solved. Bulletin of Australian Mathematical Society 34, 219–223.
Megill, N. D. and Pavičić, M. (2001). Orthomodular lattices and a quantum algebra. International Journal of Theoretical Physics 40, 1387–1410.
Megill, N. D. and Pavičić, M. (2003a). Equivalencies, identities, symmetric differences, and congruences in orthomodular lattices. International Journal of Theoretical Physics 42, 2797–2805.
Megill, N. D. and Pavičić, M. (2003b). Quantum implication algebras. International Journal of Theoretical Physics 42, 2807–2822.
Navara, M. (1997). On generating finite orthomodular sublattices. Tatra Mountains Mathematical Publications 10, 109–117.
Author information
Authors and Affiliations
Corresponding author
Additional information
PACS: 02.10.-v, 02.10.Ab, 02.10.De, 03.65.Fd.
AMS Subject classification: 06C15, 03G12, 06B10, 06B25, 81P10.
Rights and permissions
About this article
Cite this article
Hyčko, M., Navara, M. Decidability in Orthomodular Lattices. Int J Theor Phys 44, 2239–2248 (2005). https://doi.org/10.1007/s10773-005-8019-x
Issue Date:
DOI: https://doi.org/10.1007/s10773-005-8019-x