A New Approach to Quantum Logic by Kurt Engesser & Professor Dov M. Gabbay