Search Results: H:PREGROUP


Pregroup grammar
Senin, 2025-12-29 19:33:57

Pregroup 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:43

Oxford: 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:13

Montague 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:21

categories (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:59

categorical 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:32

is 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:00

extraction. 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:40

language 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:23

grammars, 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 »