9 citations · 17 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…
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,…
A polynomial time algorithm for the Lambek calculus with brackets of bounded order
Max Kanovich, Stepan Kuznetsov, Glyn Morrill +1
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as logic and parsing as deduction. Pentus (2010) gave a polynomial-time algorithm fo…
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…
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…
Higher-order Linear Logic Programming of Categorial Deduction
Glyn Morrill
We show how categorial deduction can be implemented in higher-order (linear) logic programming, thereby realising parsing as deduction for the associative and non-associative Lambe…