Fuzzy intuitionistic quantum logics

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³) is proved. A phisical interpretation of these logics can be constructed in the framework of the unsharp approach to quantum theory.