A Formal Synopsis of Lambek-Montague Grammar

In the context of formal grammar we sketch a review of the smooth integration of the logical semantics of Montague with the logical syntax of Lambek: Lambek-Montague grammar. This highlights a pristine compositional architecture of categorial grammar founded on methodology of computational logic. The main finding is that this approach lends itself to a further technical refinement of represention of grammar as Girard proof nets; we conclude by mentioning this prospect.