Year: 2025
Type: article
Abstract: 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.
Source: Philosophies
Author: Glyn Morrill
Institution: Universitat Politècnica de Catalunya
Language: English
Subfield: Language and Linguistics
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: gold
Estimated APC paid: $1,689
OpenAlex ID: W7116709666