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