-
Pregroup grammar (PG) is a
grammar formalism intimately related to
categorial grammars. Much like
categorial grammar (CG), PG is a kind of type logical...
- compositionality. The
grammatical derivations in a
categorial grammar (usually a
pregroup grammar) are
interpreted as
linear maps
acting on the
tensor product of...
- categories, into FinVect.
DisCoCat models are
monoidal functors from a
pregroup grammar to FinVect.
FinSet ZX-calculus
category of
modules Hasegawa, Masahito;...
-
modules characterizing flatness of a module. His more
recent work is in
pregroups and
formal languages; his
earliest works in this
field were
probably Lambek...
-
Montague grammar and its descendants. In particular,
categorial grammars and
pregroup grammars extensively use type
constructors to
define the
types (noun, verb...
- extraction.
Combinatory categorial grammar Link
grammar Noncommutative logic Pregroup Grammar Scope Type
shifter Wybraniec-Skardowska, Urszula; Rogalski, Andrzej...
- Diekert; A.J. Duncan; A.G.
Myasnikov (2011). "Geodesic
Rewriting Systems and
Pregroups". In Oleg Bogopolski; Inna Bumagin; Olga Kharlampovich;
Enric Ventura...
-
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...
-
language of
certain (non-symmetric)
compact closed categories, such as
pregroup grammars. In this sense, link
grammar appears to be
isomorphic or homomorphic...
-
monoidal category, not
necessarily symmetric, such as in the case of a
pregroup grammar. The
above notion of
having a dual A ∗ {\displaystyle A^{*}} for...
