Miklós Rédei

• Quantum logic in algebraic approach