Linguistic Analysis

A research journal devoted to the publication of high quality articles in formal phonology, morphology, syntax and semantics. In continuous publication since 1976. ISSN: 0098-9053


Displacement Calculus

The Lambek calculus provides a foundation for categorical grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be non-concatenative. In this paper we present displacement calculus, a generalization of Lambek calculus, which preserves the good proof-theoretic properties of the latter while embracing discontinuity and subsuming continuity. We illustrate linguistic applications and prove Cut-elimination, the subformula property, and decidability.