Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.

The abstract description of a physical system is developed, along lines originally suggested by Birkhoff and von Neumann, in terms of the complete lattice of propositions associated with that system, and the distinction between classical and quantum systems is made precise. With the help of the notion of state, a propositional system is defined: it is remarked that every irreducible propositional system (of more than three dimensions) is isomorphic to the lattice of all closed subspaces of a Hilbert space constructed (...) on some division ring with involution. The propositional system consisting of a family of separable complex Hilbert spaces is treated as a particular case which is sufficiently general to include both classical and quantum mechanics. The theory of the Galilean particle without spin is given as an illustration. Finally, the basis for the statistical interpretation of wave mechanics is developed with the help of Gleason's theorem. In an appendix, a proof of essentially the first part of Gleason's theorem is given which is a little different (perhaps more geometric) from that originally given by Gleason. (shrink)

A partial ordering in the class of observables (∼ positive operator-valued measures, introduced by Davies and by Ludwig) is explored. The ordering is interpreted as a form of nonideality, and it allows one to compare ideal and nonideal versions of the same observable. Optimality is defined as maximality in the sense of the ordering. The framework gives a generalization of the usual (implicit) definition of self-adjoint operators as optimal observables (von Neumann), but it can, in contrast to this latter definition, (...) be justified operationally. The nonideality notion is compared to other quantum estimation theoretic methods. Measures for the amount of nonideality are derived from information theory. (shrink)

This paper is concerned with a logical system, called Brouwer-Zadeh logic, arising from the BZ poset of all effects of a Hilbert space. In particular, we prove a representation theorem for Brouwer-Zadeh lattices, and we show that Brouwer-Zadeh logic is not characterized by the MacNeille completions of all BZ posets of effects.

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. (shrink)

Fuzzy intuitionistic quantum logics (called also Brouwer-Zadeh logics) represent to non standard version of quantum logic where the connective not is split into two different negation: a fuzzy-like negation that gives rise to a paraconsistent behavior and an intuitionistic-like negation. A completeness theorem for a particular form of Brouwer-Zadeh logic (BZL 3) is proved. A phisical interpretation of these logics can be constructed in the framework of the unsharp approach to quantum theory.