Search Results: H:PREGROUP
Redirect to:
This page is a redirect. The following categories are used to track and monitor this redirect:
|
Pregroup grammar
Senin, 2025-12-29 19:33:57Pregroup grammar (PG) is a grammar formalism intimately related to categorial grammars. Much like categorial grammar (CG), PG is a kind of type logical...
Click to read more »Edward Stabler
Minggu, 2026-05-03 05:47:43Oxford: Oxford University Press, pages 200-223. Edward Stabler (2008) Tupled pregroup grammars. Revised version appears in P. Casadio and J. Lambek, eds., Computational...
Click to read more »Type theory
Selasa, 2026-08-04 21:38:13Montague grammar and its descendants. In particular, categorial grammars and pregroup grammars extensively use type constructors to define the types (noun, verb...
Click to read more »Joachim Lambek
Sabtu, 2026-05-09 05:01:21categories (see Curry–Howard–Lambek correspondence). His last works were on pregroup grammar. Lambek, Joachim (2009) [1966]. Lectures on rings and modules (3rd ed...
Click to read more »Categorical quantum mechanics
Rabu, 2026-01-14 03:03:59categorical quantum mechanics to natural language processing. The types of a pregroup grammar are interpreted as quantum systems, i.e. as objects of a dagger...
Click to read more »String diagram
Sabtu, 2026-07-25 04:13:32is an identity morphism. The same equation appears in the definition of pregroup grammars where it captures the notion of information flow in natural language...
Click to read more »Categorial grammar
Minggu, 2026-08-09 03:27:00extraction. Combinatory categorial grammar Link grammar Noncommutative logic Pregroup Grammar Scope Type shifter Wybraniec-Skardowska, Urszula; Rogalski, Andrzej...
Click to read more »Link grammar
Kamis, 2026-02-26 17:56:40language of certain (non-symmetric) compact closed categories, such as pregroup grammars. In this sense, link grammar appears to be isomorphic or homomorphic...
Click to read more »Rigid category
Selasa, 2026-06-23 19:19:23grammars, categories which are both left and right rigid are often called pregroups, and are employed in Lambek calculus, a non-symmetric extension of linear...
Click to read more »