Results 71 to 80 of about 107,210 (140)
The Lambek Calculus with Iteration: Two Variants [PDF]
, 2017 Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural interpretation, we present two lines of calculi.
openaire +3 more sources
Toward a sociology of finitude: life, death, and the question of limits. [PDF]
Theory Soc, 2021 Livne R.
europepmc +1 more source
Product-free Lambek calculus and context-free grammars
, 1997 In this paper we prove the Chomsky Conjecture (all languages recognized by the Lambek calculus are context-free) for both the full Lambek calculus and its product-free fragment.
Mati Pentus
core
Stochastic Lambek Categorial Grammars [PDF]
, 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
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
The derivability problem for Lambek calculus with one division [PDF]
, 2006 In this paper we prove that the derivability problem for Lambek calculus with one division is decidable in polynomial time and present an algorithm for ...
Savateev, Y., Yury Savateev
core
Bracket induction for Lambek calculus with bracket modalities [PDF]
, 2018 Relativisation involves dependencies which, although unbounded, are constrained with respect to certain island domains. The Lambek calculus L can provide a very rudimentary account of relativisation limited to unbounded peripheral extraction; the Lambek ...
Kuznetsov, S +3 more
core +1 more source
LC Graphs for the Lambek Calculus with Product [PDF]
, 2010 This paper introduces a novel graph representation of proof nets for the Lambek calculus that extends the LC graph representation of [13] to include the product connective. This graph representation more clearly specifies the difference between the Lambek calculus with and without product than other proof net representations, which is important to the ...
openaire +2 more sources
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