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. Th...
| Autor: | |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 2026 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:dnet:upcommonspor::e911707348f64887ab0fbc6f055d7983 |
| Acesso em linha: | https://hdl.handle.net/2117/460045 https://dx.doi.org/10.3390/philosophies11010001 |
| Access Level: | acceso abierto |
| Palavra-chave: | Categorial grammar Montague semantics Lambek syntax Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Llenguatge natural |
| Resumo: | 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. |
|---|