Seminar 4. Quantum logic and Gleason's theorem

We briefly discussed Birkhoff-von Neumann approach to quantum logic, introduced the notion of orthomodular lattices, and proved a part of Gleason's theorem.