Results 81 to 90 of about 107,210 (140)
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
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
Discontinuity and the Lambek calculus [PDF]
Proceedings of the 15th conference on Computational linguistics -, 1994 openaire +2 more sources
The hidden structural rules of the discontinuous Lambek calculus
Capítol de llibre d'homenatge "Categories and Types in Logic, Language, and Physics. Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday"The sequent calculus sL for the Lambek calculus L ([2]) has no structural rules. Interestingly, sL is
Valentín Fernández Gallart, José Oriol
core
Comparing and evaluating extended Lambek calculi [PDF]
, 2015 International audienceLambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to
Moot, Richard
core +1 more source
, 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
Lambek Calculus with Banged Atoms for Parasitic Gaps
International audienceLambek Calculus is a non-commutative substructural logic for formalising linguistic constructions. However, its domain of applicability is limited to constructions with local dependencies.
Sadrzadeh, Mehrnoosh, Straßburger, Lutz
core +1 more source
The conjoinability relation in Lambek calculus and linear logic
, 1993 In 1958 J. Lambek introduced a calculus L of syntactic types and defined an equivalence relation on types: “x ≡ y means that there exists a sequence x = x1,..., xn = y (n ≥ 1), such that xi → xi+1 or xi+1 → xi (1 ≤ i < n)”.
Mati Pentus
core
Foundations of LLCM : Labelled Lambek Calculus for Music Analysis
This paper presents an application of Lambek Calculus, a sequent calculus for categorial grammar, to music analysis. To this end, we propose a Labelled Lambek Calculus for Music (LLCM), where a label represents tonality information.
Bizzarri, Matteo, Tojo, Satoshi
core +1 more source
A Bird's Eye View of Human Language Evolution. [PDF]
Front Evol Neurosci, 2012 Berwick RC +3 more
europepmc +1 more source