A logical formalism for intergrammatical representations