Un formalismo logico per la rappresentazione intergrammaticale