REASONING IN QUANTUM THEORY. SHARP AND UNSHARP QUANTUM LOGICS