Classical Logic and Quantum Logic with Multiple and Common Lattice Models

Figure 2

Lattice models of quantum and classical logic together with the corresponding equivalence relations which define their Lindenbaum-Tarski algebras.