Quantum logic. - Svozil, Karl (Discrete mathematics and theoretical computer science, 1998)