Displacement Calculus

Details Displacement Calculus Displacement Calculus

2010-04-23

arxiv.org/abs/1004.4181v1

Computer Science

Computation and Language

26 pages

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Displacement Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Displacement Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Displacement Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-695023