Seminar 5. More on Gleason's theorem and quantum logic

We finished the proof of Gleason's theorem and formulated its version for effects. Then we talked about some important results of quantum logic – the theorems of Piron and Soler, and the definition of effect algebras.