  A classical logic exhibits a threefold inner structure comprising an algebra
of propositions `A', a space of ``truth values'' `V', and a distinguished
family of mappings `phi' from propositions to truth values. Classically A is a
Boolean algebra, V=Z_2, and the admissible maps phi:A-->Z_2 are {\it
homomorphisms}. If one admits a larger set of maps, one obtains an
anhomomorphic logic that seems better suited to quantal reality (and the needs
of quantum gravity). I explain these ideas and illustrate them with three
simple examples.
