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