9 citations · 10 across the 6 of their papers we have counts for
6 papers
Logical Computational Linguistics
Glyn V. Morrill, Oriol Valentín
In this book we promote logical computational linguistics as opposed to statistical computational linguistics. In particular, we provide a logical semantic interface. This book ass…
Models for the Displacement Calculus
Oriol Valentín
The displacement calculus is a conservative extension of the Lambek calculus (with empty antecedents allowed in sequents). can be said to b…
Computational Coverage of TLG: Nonlinearity
Glyn Morrill, Oriol Valentín
We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, DbC,…
Multiplicative-Additive Focusing for Parsing as Deduction
Glyn Morrill, Oriol Valentín
Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficie…
The Hidden Structural Rules of the Discontinuous Lambek Calculus
Oriol Valentín
The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassocia…
Displacement Calculus
Glyn Morrill, Oriol Valentín
The Lambek calculus provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be di…