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)

We prove that Brouwer-Zadeh logic has the finite model property and therefore is decidable. Moreover, we present a bimodal system (BKB) which turns out to be characterized by the class of all Brouwer-Zadeh frames. Finally, we show that BrouwerZadeh logic can be translated into BKB.

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.

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)