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.
Keywords
- Sequent Calculus
- Categorial Grammar
- Logical Syntax
- Logical Grammar
- Phrase Type
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bach, E.: Discontinuous constituents in generalized categorial grammars. In: Burke, V.A., Pustejovsky, J. (eds.) Proceedings of the 11th Annual Meeting of the North Eastern Linguistics Society, New York, pp. 1–12. GLSA Publications, Department of Linguistics, University of Massachussets at Amherst, Amherst, Massachussets (1981)
Bach, E.: Some Generalizations of Categorial Grammars. In: Landman, F., Veltman, F. (eds.) Varieties of Formal Semantics: Proceedings of the Fourth Amsterdam Colloquium, pp. 1–23. Foris, Dordrecht (1984); Reprinted in Savitch, W.J., Bach, E., Marsh, W., Safran-Naveh, G., (eds.) The Formal Complexity of Natural Language, pp. 251–279. D. Reidel, Dordrecht (1987)
Girard, J.-Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly 65, 154–170 (1958); Reprinted in Buszkowski, W., Marciszewski, W., van Benthem, J., (eds.) Categorial Grammar. Linguistic & Literary Studies in Eastern Europe, vol. 25 153–172. John Benjamins, Amsterdam (1988)
Lambek, J.: Deductive systems and categories, II: Standard constructions and closed categories. In: Hilton, P. (ed.) Category Theory, Homology Theory and Applications. Lecture Notes in Mathematics, vol. 86, pp. 76–122. Springer (1969)
Moortgat, M.: Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht, PhD thesis. Universiteit van Amsterdam (1988)
Moortgat, M.: Symmetric categorial grammar. Journal of Philosophical Logic (2009)
Morrill, G.: Towards Generalised Discontinuity. In: Jäger, G., Monachesi, P., Penn, G., Wintner, S. (eds.) Proceedings of the 7th Conference on Formal Grammar, Trento, ESSLLI, pp. 103–111 (2002)
Morrill, G., Fadda, M., Valentín, O.: Nondeterministic Discontinuous Lambek Calculus. In: Geertzen, J., Thijsse, E., Bunt, H., Schiffrin, A. (eds.) Proceedings of the Seventh International Workshop on Computational Semantics, IWCS 2007, pp. 129–141. Tilburg University (2007)
Morrill, G., Merenciano, J.-M.: Generalising discontinuity. Traitement Automatique des Langues 37(2), 119–143 (1996)
Morrill, G., Valentín, O.: Displacement calculus. Linguistic Analysis (forthcoming)
Morrill, G., Valentín, O., Fadda, M.: Dutch Grammar and Processing: A Case Study in TLG. In: Bosch, P., Gabelaia, D., Lang, J. (eds.) TbiLLC 2007. LNCS (LNAI), vol. 5422, pp. 272–286. Springer, Heidelberg (2009)
Morrill, G., Valentín, O., Fadda, M.: The Displacement Calculus. Journal of Logic, Language and Information (forthcoming)
Morrill, G.V.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, Oxford (2010)
Pentus, M.: Lambek grammars are context-free. Technical report, Dept. Math. Logic, Steklov Math. Institute, Moskow (1992); Also published as ILLC Report, University of Amsterdam, 1993, and in Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal (1993)
Shieber, S.: Evidence Against the Context-Freeness of Natural Language. Linguistics and Philosophy 8, 333–343 (1985); Reprinted in Savitch, W.J., Bach, E., Marsh, W., Safran-Naveh, G., (eds.) The Formal Complexity of Natural Language, pp. 320–334. D. Reidel, Dordrecht (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morrill, G., Valentín, O. (2012). Generalized Discontinuity. In: de Groote, P., Nederhof, MJ. (eds) Formal Grammar. FG FG 2010 2011. Lecture Notes in Computer Science, vol 7395. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32024-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-32024-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32023-1
Online ISBN: 978-3-642-32024-8
eBook Packages: Computer ScienceComputer Science (R0)
