Some algebraic structures determined by the class σ(þ) of all effects of a Hilbert space þ and by some subclasses of σ(þ) are investigated, in particular de Morgan-Brouwer-Zadeh posets [it is proved that σ(þ n )(n<∞) has such a structure], Brouwer-Zadeh * posets (a quite trivial example consisting of suitable effects is given), and Brouwer-Zadeh 3 posets which are both de Morgan and *.It is shown that a nontrivial class of effects of a Hilbert space exists which is a BZ (...) 3 poset. An ɛ-preclusivity relation on the set of all vectors of þ is introduced, and it is shown that it satisfies the regularity condition also for ε∃ [1/2, 1]. (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.

On the basis of Mackey's axiomatic approach to quantum physics or, equivalently, of a “state-event-probability” (SEVP) structure, using a quite standard “fuzzification” procedure, a set of unsharp events (or “effects”) is constructed and the corresponding “state-effect-probability” (SEFP) structure is introduced. The introduction of some suitable axioms gives rise to a partially ordered structure of quantum Brouwer-Zadeh (BZ) poset; i.e., a poset endowed with two nonusual orthocomplementation mappings, a fuzzy-like orthocomplementation, and an intuitionistic-like orthocomplementation, whose set of sharp elements is an (...) orthomodular complete lattice. As customary, by these orthocomplementations the two modal-like necessity and possibility operators are introduced, and it is shown that Ludwig's and Jauch-Piron's approaches to quantum physics are “interpreted” in complete SEFP. As a marginal result, a standard procedure to construct a lot of unsharp realizations starting from any sharp realization of a fixed observable is given, and the relationship among sharp and corresponding unsharp realizations is studied. (shrink)