Quantum logic

Quine

von neumann birkhoff