Handbook of quantum logic and quantum structures : - Engesser, Kurt; Gabbay, Dov M. 1945-; Lehmann, Daniel (Elsevier, 2007)