2 papers
cs.LO2017
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…
cs.LO2017
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,…