BROUWER-ZADEH (FUZZY-INTUITIONISTIC) POSETS FOR UNSHARP QUANTUM-MECHANICS

The partial ordered structure which plays for unsharp quantum mechanics the same role of orthomodular lattices for ordinary quantum mechanics is introduced. Differently from the unsharp case, in which one can identify quantum propositions (i.e., Hilbert space subspaces) with yes-no devices (i.e., orthogonal projections) they are tested by, in the unsharp case this identification is broken down: every quantum generalized proposition (i.e., pair of mutually orthogonal subspaces) is tested by many different yes-no devices (i.e., Hilbert space effects). The set of all quantum effects has a structure of Brouwer-Zadeh poset, canonically embeddable in a (minimal) Brouwer-Zadeh lattice, whereas the set of all quantum generalized propositions has a structure of Brouwer-Zadeh complete lattice. A Brouwer-Zadeh poset is defined as a partially ordered structure equipped with two nonusual orthocomplementations: a regular degenerate (Zadeh or fuzzy-like) one and a weak (Brouwer or intuitionistic-like) one linked by an interconnection rule. Using these two orthocomplementations it is possible to introduce the two modal-like operators of necessity and possibility.