Skip to main content

Generalized Discontinuity

  • Conference paper
  • 713 Accesses

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7395)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. Girard, J.-Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. 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)

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. 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)

    Google Scholar 

  6. Moortgat, M.: Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht, PhD thesis. Universiteit van Amsterdam (1988)

    Google Scholar 

  7. Moortgat, M.: Symmetric categorial grammar. Journal of Philosophical Logic (2009)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Morrill, G., Merenciano, J.-M.: Generalising discontinuity. Traitement Automatique des Langues 37(2), 119–143 (1996)

    Google Scholar 

  11. Morrill, G., Valentín, O.: Displacement calculus. Linguistic Analysis (forthcoming)

    Google Scholar 

  12. 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)

    CrossRef  Google Scholar 

  13. Morrill, G., Valentín, O., Fadda, M.: The Displacement Calculus. Journal of Logic, Language and Information (forthcoming)

    Google Scholar 

  14. Morrill, G.V.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, Oxford (2010)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)