Handbook of quantum logic and quantum structures quantum logic (Elsevier, North Holland, 2009)