Roberto Giuntini

In the standard approach to quantum mechanics, closed subspaces of a Hilbert space represent propositions. In the operational approach, closed subspaces are replaced by effects that represent a mathematical counterpart for properties which can be measured in a physical system. Effects are a proper generalization of closed subspaces. Effects determine a Brouwer-Zadeh poset which is not a lattice. However, such a poset can be embedded in a complete Brouwer-Zadeh lattice. From an intuitive point of view, one can say that these structures represent a natural logical abstraction from the structure of propositions of a quantum system. The logic that arises in this way is Brouwer-Zadeh logic. This paper shows that such a logic can be characterized by means of an algebraic and a Kripkean semantics. Finally, a strong completeness theorem for BZL is proved

The total and the sharp character of orthodox quantum logic has been put in question in different contexts. This paper presents the basic ideas for a unified approach to partial and unsharp forms of quantum logic. We prove a completeness theorem for some partial logics based on orthoalgebras and orthomodular posets. We introduce the notion of unsharp orthoalgebra and of generalized MV algebra. The class of all effects of any Hilbert space gives rise to particular examples of these structures. Finally, we investigate the relationship between unsharp orthoalgebras, generalized MV algebras, and orthomodular lattices.