Abstract
Let L be a complete orthomodular lattice. There is a one to one correspondence between complete Boolean subalgebras of L contained in the center of L and endomorphisms j of L satisfying the Borceux–van den Bossche conditions.
Similar content being viewed by others
References
Beltrametti, E. G. and Cassinelli, G. (1981). The logic of Quantum Mechanics. Encyclopedia of Mathematics and its Applications, 15.
Birkhkoff, G. and von Neumann, J. (1936). The logic of quantum mechanics, Annals of Mathematics 37(2), 823–246.
Borceux, F. and Van Den Bossche, G. (1986). Quantales and their sheaves. Order 3, 61–87.
Finch, P. D. (1970). Quantum logic as an implication algebra, Bulletin of Australian Mathematical Society 1, 101–106.
Girard, J. Y. (1987). Linear logic. Theoretical Computer Science 50, 1–102.
Janowitz, M. F. (1967). Residuated closure operators, Portugal Mathematics 26, 221–252.
Román, L. and Rumbos, B. (1991). A characterization of nuclei in orthomodular lattices and quantic nuclei. Journal of Pure and Applied Algebra 73, 155–163.
Román, L. and Rumbos, B. (1991). Quantum logic revisted. Foundations of Physics 21(6), 727–734.
Román, L. and Zuazua, R. (2005). Right-sided idempotent quantales and orthomodular lattices. International Journal of Pure and Applied Mathematics. (to appear)
Yetter, N. D. (1990). Quantales and (non commutative) linear logic. The Journal of Symbolic Logic 55(1), 41–64.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is dedicated to Raquel Hernández.
SUBJCLASS: 0210.Ab, 0210.De, 03.65.-ca
Rights and permissions
About this article
Cite this article
Román, L. Orthomodular Lattices and Quantales. Int J Theor Phys 44, 783–791 (2005). https://doi.org/10.1007/s10773-005-7056-9
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s10773-005-7056-9