pith. sign in

arxiv: 1004.4181 · v1 · submitted 2010-04-23 · 💻 cs.CL

Displacement Calculus

Glyn Morrill , Oriol Valent\'in This is my paper
classification 💻 cs.CL
keywords calculusdisplacementlambekapplicationscategorialcharacterizedconcatenationcut-elimination
0
0 comments X
read the original abstract

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 discontinuous. In this paper we introduce the displacement calculus, a generalization of Lambek calculus, which preserves its good proof-theoretic properties while embracing discontinuiity and subsuming it. We illustrate linguistic applications and prove Cut-elimination, the subformula property, and decidability

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Logical Computational Linguistics

    cs.CL 2026-04 unverdicted novelty 3.0

    Logical computational linguistics uses type logical grammar to deliver 100% end-to-end confidence in syntactic and semantic chains, unlike statistical approaches whose confidence monotonically declines.