Bi-grammars : a logical system for syntax , semantics and their correspondence