Reasoning in Quantum Theory Sharp and Unsharp Quantum Logics | EKB DL