Coherence as Generalized Logical Equivalence