Intuitionistic Quantum Logic of an n-level System

@article{Caspers2009IntuitionisticQL,
  title={Intuitionistic Quantum Logic of an n-level System},
  author={Martijn Caspers and C. Heunen and N. P. Landsman and Bas Spitters},
  journal={Foundations of Physics},
  year={2009},
  volume={39},
  pages={731-759}
}
AbstractA decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our… Expand
Concerning Intuitionistic Quantum Logic
A Comparison of Two Topos-Theoretic Approaches to Quantum Theory
Topos Quantum Logic and Mixed States
  • A. Döring
  • Computer Science, Physics
  • Electron. Notes Theor. Comput. Sci.
  • 2011
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 77 REFERENCES
Quantum Logic in Intuitionistic Perspective
  • B. Coecke
  • Mathematics, Computer Science
  • Stud Logica
  • 2002
A Topos for Algebraic Quantum Theory
Quantum Logic in Algebraic Approach
A Topos Perspective on State-Vector Reduction
Between classical and quantum
...
1
2
3
4
5
...