Results 81 to 90 of about 160,476 (167)
Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement Grammars [PDF]
, 2008 International audienceTwo recent extension of the non-associative Lambek calculus, the Lambek-Grishin calculus and the multimodal Lambek calculus, are shown to generate the same class of languages as tree adjoining grammars, using (tree generating ...
Moot, Richard
core +1 more source
Relational semantics for the Lambek-Grishin calculus
, 2007 We study ternary relational semantics for symmetric versions of the Lambek calculus with interaction principles due to Grishin (1983).
Michael Moortgat, Natasha Kurtonina
core
Lambek Grammars Based on Pregroups
, 2001 Lambek [13] introduces pregroups as a new framework for syntactic structure. In this paper we prove some new theorems on pregroups and study grammars based on the calculus of free pregroups.
Wojciech Buszkowski
core +1 more source
The Non-associative Lambek calculus with product in polynomial time
, 1999 Colloque avec actes et comité de lecture.We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with \mbox{product} belongs to PTIME.
de Groote, Philippe
core
A Dialectica Model of the Lambek Calculus
, 1991 this paper. But it must be said from the start that the `answer' is only provided in semantical terms. The Proof Theory of the systems considered should be investigated in future work.
Valeria de Paiva
core
, 2002 In this paper we consider the relations existing between four deductive systems that have been called "categorial grammars" and have relevant connections with linguistic investigations: the syntactic calculus, bilinear logic, compact bilinear logic and ...
CASADIO, Claudia, Joachim Lambek
core +1 more source
Stochastic Lambek Categorial Grammars
, 2004 We present here a stochastic point of vue on Lambek Categorial Grammars which have shown their utility in Natural Language Processing. The key point comes from the fact that the parsing in the Lambek Calculus is based on an essentially non-deterministic ...
Bonfante, Guillaume, de Groote, Philippe
core +1 more source
A graph formalism for proofs in the Lambek calculus with product
, 2006 Since the introduction of the Lambek calculus in Lambek (1958), there has been a great deal of interest in its usefulness as a grammar for parsing in natural language.
Fowler, Timothy Alexander Dalton
core
Discontinuity and the Lambek calculus [PDF]
Proceedings of the 15th conference on Computational linguistics -, 1994 openaire +2 more sources