Skip to main content
SpringerLink
Log in

Hypothetical Reasoning and Basic Non-Constituent Coordination in Yype-Logical Grammar

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

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

  • 247 Accesses

Abstract

The paper investigates the connection between non-constituent coordination, as implemented in categorial grammar by means of a polymorphic type-assignment to lexical conjunctions, and hypothetical reasoning in Categorial Logics. A way of extending the logic is suggested, so that coordination can be applied to types depending on undischarged assumptions. By a certain “resource manipulation” of assumptions (of hypothetical reasoning), a late-discharge is facilitated, leading to what is referred to as the basic non-constituent coordination, whereby only basic types (and not functional types of any kind) are coordinated. The approach also provides a syntactic counterpart to the usual definition of generalized meet to higher-order functions into a boolean range, stipulated in the literature as the meaning of coordination.

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. Barry, G., and M. Pickering. Dependency and constituency in Categorial Grammar. In Lecomte, A., editor, Word order in Categorial Grammar. DYANA project workshop in Clermont-Ferrand, 1992.

    Google Scholar 

  2. Carpenter, B. A deductive account of scope. In Proc. of the 13th west coast conference on formal linguistics, San-Diego, CA, 1994. CSLI publications. Extended version submitted to Linguistics and Philosophy.

    Google Scholar 

  3. Dowty, D. Non-constituent coordination, wrapping, and multimodal categorial grammars. In Proc. of the international congress on logic, methodology, and philosophy, Florence, Italy, August, 1996. Kluwer.

    Google Scholar 

  4. Emms, M. An undecidability result for polymorphic Lambek Calculus. In Dekker, P., and M. Stokhof, editors, Proccedings of Tenth Amsterdam Colloquium. ILLC, 1995

    Google Scholar 

  5. Geach, P. A program for syntax. In Davidson, D., and G. Herman, editors, Semantics of Natural Language. Reidel, Dordrecht, 1972.

    Google Scholar 

  6. Jacobson, P. The locality of interpretation: the case of binding and coordination. In Proceedings of the 6th conference on semantics in Linguistic Theory (SALT). Cornell working papers in Linguistic, 1996.

    Google Scholar 

  7. Keenan, E., and L. Faltz. Boolean semantics for natural language. Reidel, Dordrecht, 1985.

    Google Scholar 

  8. Lambek, J. The mathematics of sentence structure. American mathematical monthly, 65:154–170, 1958.

    Article  MATH  MathSciNet  Google Scholar 

  9. Milward, D. Non-constituent coordination: Theory and practice. In Proc. of the 15th international conference on Computational linguistics(COLING94), pages 935–941, Kyoto, Japan, 1994.

    Google Scholar 

  10. Moortgat, M. Categorial type logics. In Johan van Benthem and Alice ter Muelen, editors, Handbook of Logic and Language. Elsevier, 1997.

    Google Scholar 

  11. Morrill, G. V. Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, 1994.

    Google Scholar 

  12. Partee, B., and M. Rooth. Generalized conjunction and type ambiguity. In Rainer Baüerle, Christoph Schwartze, and Arnim von Stechow, editors, Meaning, use and interpretation of language. De Gruyter, Berlin, 1983.

    Google Scholar 

  13. Prawitz, D. Natural deduction. Alqvist and Wiksell, Uppsala, 1965.

    Google Scholar 

  14. Steedman, M. Categorial grammar (tutorial overview). Lingua, 90:221–258, 1993.

    Article  Google Scholar 

  15. Steedman, M. Surface Structure and Interpretation. MIT Press, Linguistic Inquiry monographs 30, 1996.

    Google Scholar 

  16. Steedman, M. Alternating quantifier scope in CCG. To appear, 1999.

    Google Scholar 

  17. Winter, Y. A unified semantic treatment of singular np coordination. Linguistics and Philosophy, 19:337–391, 1996. See also forthcoming (1998) Ph.D thesis.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Dept., Technion-IIT, Haifa, Israel

    Nissim Francez

Authors
  1. Nissim Francez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Utrecht Institute of Linguistics OTS, Trans 10, 3512 JK Utrecht, The Netherlands

    Michael Moortgat

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Francez, N. (2001). Hypothetical Reasoning and Basic Non-Constituent Coordination in Yype-Logical Grammar. In: Moortgat, M. (eds) Logical Aspects of Computational Linguistics. LACL 1998. Lecture Notes in Computer Science(), vol 2014. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45738-0_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-45738-0_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42251-8

  • Online ISBN: 978-3-540-45738-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation