Skip to main content
Log in

Orthomodular Lattices and Quantales

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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.

    MathSciNet  Google Scholar 

  • Borceux, F. and Van Den Bossche, G. (1986). Quantales and their sheaves. Order 3, 61–87.

    Article  ISI  MathSciNet  Google Scholar 

  • Finch, P. D. (1970). Quantum logic as an implication algebra, Bulletin of Australian Mathematical Society 1, 101–106.

    MathSciNet  Google Scholar 

  • Girard, J. Y. (1987). Linear logic. Theoretical Computer Science 50, 1–102.

    Article  MATH  ISI  MathSciNet  Google Scholar 

  • Janowitz, M. F. (1967). Residuated closure operators, Portugal Mathematics 26, 221–252.

    MATH  MathSciNet  Google Scholar 

  • 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.

    MathSciNet  Google Scholar 

  • Román, L. and Rumbos, B. (1991). Quantum logic revisted. Foundations of Physics 21(6), 727–734.

    MathSciNet  Google Scholar 

  • 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.

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Leopoldo Román.

Additional information

This article is dedicated to Raquel Hernández.

SUBJCLASS: 0210.Ab, 0210.De, 03.65.-ca

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10773-005-7056-9

Keywords

Navigation