Skip to main content
SpringerLink
Log in

Underspecification in Type-Logical Grammars

  • Conference paper
  • First Online:
Logical Aspects of Computational Linguistics (LACL 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1582))

  • 338 Accesses

Abstract

We show how in a mixed multimodal categorial framework unary modalities can be used to represent morphosyntactic properties of expressions. The residuation logic for the unary connectives, ◊i, □i is used to define a feature checking procedure. Each mode i represents some morphosyntactic feature. Underspecification is dealt with by assuming general modes that are related to specific instances by inclusion postulates. The distribution of features is regulated by means of distribution postulates. The mixed multimodal approach is compared to some other versions of extended categorial grammars that deal with morphosyntactic issues.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Emmon Bach. On the relationship between word-grammar and phrase grammar. Natural Language and Linguistic Theory, 1:65–89, 1983.

    Article  Google Scholar 

  2. Sam Bayer and Mark Johnson. Features and agreement. In ACL-95, 1995.

    Google Scholar 

  3. Patrick Blackburn. Structures, languages and translations: the structural approach to feature logic. In C.J. Rupp, M. A. Rosner, and R.L. Johnson, editors, Constraints, Language and Computation, pages 1–27. Academic Press, London, 1994.

    Google Scholar 

  4. Robert D. Borsley. Syntactic Theory, a unified approach. Edward Arnold, London, 1991.

    Google Scholar 

  5. Gosse Bouma. Nonmonotonicity and Categorial Unification Grammar. PhD thesis, R.U. Groningen, The Netherlands, 1993.

    Google Scholar 

  6. Jochen Dörre, Dov Gabbay, and Esther König. Fibred semantics for feature-based grammar logic. Journal of Logic, Language, and Information, 5(3-4):387–422, October 1996.

    Article  MathSciNet  Google Scholar 

  7. Jochen Dörre and Suresh Manandhar. On constraint-based Lambek calculi. In Patrick Blackburn and Maarten de Rijke, editors, Logic, Structures and Syntax. Reidel, Dordrecht, 1997.

    Google Scholar 

  8. Nissim Francez. On the direction of fibring feature logics with concatenation logics. Nancy, LACL 1997.

    MATH  Google Scholar 

  9. Dirk Heylen. On the proper use of booleans in categorial logic. In Formal Grammar, pages 71–84, Prague, 1996.

    Google Scholar 

  10. Dirk Heylen. Generalisation and coordination in categorial grammar. In Formal Grammar, pages 101–111, Aix-en-Provence, 1997.

    Google Scholar 

  11. Dirk Heylen. Modalities and morphosyntax. In Proceedings of Roma-4 Workshop, page (to appear).-, 1997.

    Google Scholar 

  12. Mark Johnson. A resource-sensitive interpretation of lexical functional grammar. In Proofs and Linguistic Categories. Proceedings 1996 Roma Workshop, 1997.

    Google Scholar 

  13. Joachim Lambek. Type grammar revisited. unpublished manuscript, 1997.

    Google Scholar 

  14. Michael Moortgat. Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus. GRASS. Foris, Dordrecht, 1988. diss. Amsterdam.

    Google Scholar 

  15. Michael Moortgat. Cate gorial type logics. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language, pages 93–177. Elsevier, 1996.

    Google Scholar 

  16. Glyn Morrill. Type Logical Grammar. Kluwer Academic Publishers, Dordrecht, 1994.

    Book  Google Scholar 

  17. Ivan Sag, Gerald Gazdar, Thomas Wasow, and Steven Weisler. Coordination and how to distinguish categories. Natural Language and Linguistic Theory, 3:117–171, 1985.

    Article  Google Scholar 

  18. Stuart M. Shieber. Constraint-Based Grammar Formalisms. The MIT press, 1992.

    Google Scholar 

  19. E.P. Stabler. Derivational minimalism. In Christian Retoré, editor, Logical Aspects of Computational Linguistics, pages 68–95. Springer Verlag, 1996.

    Google Scholar 

  20. Hans Uszkoreit. Categorial unification grammar. In Proceedings of the 11th International Conference on Computational Linguistics, Bonn, 1986.

    Google Scholar 

  21. Henk Zeevat, Ewan Klein, and Jo Calder. Unification categorial grammar. In Nicholas Haddock, Ewan Klein, and Glyn Morrill, editors, Categorial Grammar, Unification Grammar and Parsing. Centre for Cognitive Science, University of Edinburgh, 1987. Volume 1 of Working Papers in Cognitive Science.

    Google Scholar 

Download references

Authors
  1. Dirk Heylen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Université Pierre Mendès France (Grenoble 2), 1251 avenue Centrale, BP 47, F-38040, Grenoble Cedex, France

    Alain Lecomte

  2. LORIA (Nancy), 615 rue de Jardin Botanique, BP 101, F-54602, Villers lès Nancy Cedex, France

    François Lamarche  & Guy Perrier  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heylen, D. (1999). Underspecification in Type-Logical Grammars. In: Lecomte, A., Lamarche, F., Perrier, G. (eds) Logical Aspects of Computational Linguistics. LACL 1997. Lecture Notes in Computer Science(), vol 1582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48975-4_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-48975-4_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65751-4

  • Online ISBN: 978-3-540-48975-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation