Fuzzy intuitionistic quantum logics (Q1313085)

Fuzzy intuitionistic quantum logics, or Brouwer-Zadeh logics, have been introduced by the first author and \textit{G. Nistico} [Fuzzy Sets Syst. 33, 165-190 (1989; Zbl 0682.03036)]. In this model, which serves as standard version of quantum logic, the notion of negation is splitted into two forms: a fuzzy-like one and an intuitionistic one. A standard model is the system of all effects of a Hilbert space. The main result of the present paper is a completeness theorem for a particular form of Brouwer- Zadeh logics, \(\text{BZL}^ 3\).