Example image of eyePlorer eyePlorer map for 'Quantum logic': Proposition Quantum mechanics Reasoning Boolean logic Complementarity (physics) Garrett Birkhoff John von Neumann Multi-valued logic Noncommutative logic Propositional calculus Hilary Putnam Is logic empirical? Epistemology David Finkelstein George Mackey Formalism Observable C*-algebra Deductive reasoning Hilbert space Complemented lattice Closed Lattice (order) Linear subspace Self-adjoint operator Spectral theory Classical mechanics Dynamics (physics) Hamiltonian mechanics State (physics) Boolean algebra (structure) De Morgan's laws Borel set Projection-valued measure Spectral theory of ordinary differential equations Probability Andrew Gleason Trace class Density matrix Quantum statistical mechanics Automorphism Gleason's theorem Extreme point Quantum state Quantum operation Reversibility Consistent histories Weyl quantization Deep inference Structural proof theory