Generalized discontinuity

Authors:
Glyn Morrill;Oriol Valentín
Affiliations:
Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Spain;Barcelona Media, Centre d'Innovació, Universitat Pompeu Fabra, Spain
Venue:
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Year:
2010

Citing 4
Cited 2

Linear logic

Theoretical Computer Science
Dutch Grammar and Processing: A Case Study in TLG

Logic, Language, and Computation
The Displacement Calculus

Journal of Logic, Language and Information
Generalized discontinuity

FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar

The Displacement Calculus

Journal of Logic, Language and Information
Generalized discontinuity

FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define and study a calculus of discontinuity, a version of displacement calculus, which is a logic of segmented strings in exactly the same sense that the Lambek calculus is a logic of strings. Like the Lambek calculus, the displacement calculus is a sequence logic free of structural rules, and enjoys Cut-elimination and its corollaries: the subformula property, decidability, and the finite reading property. The foci of this paper are a formulation with a finite number of connectives, and consideration of how to extend the calculus with defined connectives while preserving its good properties.