In a preceding paper [1] it was shown that quantum logic, given by the tableaux-calculus Teff, is complete and consistent with respect to the dialogic foundation of logics. Since in formal dialogs the special property of the ‘value-definiteness’ of propositions is not postulated, the calculus Teff represents a calculus of effective (intuitionistic) quantum logic.
['Ernst-Walther Stachow']
Quantum Logical Calculi and Lattice Structures