Displacement calculus

• Glyn Morril ^[1] ; Oriol Valentín ^[1]
  1. [1] Universitat Politècnica de Catalunya

     Universitat Politècnica de Catalunya

     Barcelona, España

     
• Localización: Linguistic Analysis, ISSN 0098-9053, Vol. 36, Nº. 1-4, 2010, págs. 167-192
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.