WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS