Skip to main content
SpringerLink
Log in

Sequential Construction of Logical Forms

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

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

  • 240 Accesses

Abstract

In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongst others, the papers [2],[6], [4],[3],[5]. In this model, a natural language string consists of a sequence of ‘instructions packages’ to construct some term in a formal representation language, the logical form of the string in question. Parsing, then, is the process of executing these packages in a left to right order.

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. Blackburn, P., and W. Meyer-Viol. Linguistics, logic and finite trees, Bulletin of IGPL, 1994.

    Google Scholar 

  2. Kempson, R., W. Meyer-Viol and D. Gabbay. Language Understanding: a Procedural Perspective, in C. Retore (ed.), Logical Aspects of Computational Linguistics, First International Conference, LACL 1996,228–247. Lecture Notes in Computer Science Vol 1328, Springer Verlag, 1997.

    Google Scholar 

  3. Kempson, R., W. Meyer-Viol and D. Gabbay. VP-ellipsis: towards a dynamic structural account. In Lappin, S., E. Benmamoun, Fragments: studies in ellipsis and gapping, OUP, 1999.

    Google Scholar 

  4. Kempson, R., and W. Meyer-Viol. Topic and Focus Structures: the Dynamics of Tree Growth, in Proceedings of the 4th Formal Grammar Conference, Saarbrücken, 1998.

    Google Scholar 

  5. Kempson, R., W. Meyer-Viol and D. Gabbay. Dynamic Syntax. Blackwell’s, Oxford, 2000.

    Google Scholar 

  6. Meyer-Viol, W., R. Kibble, R. Kempson and D. Gabbay. Indefinites as Epsilon Terms: A Labelled Deduction Account, In Bunt, H., and R. Muskens (eds.). Computing Meaning: Current Issues in Computational Semantics. Kluwer Academic Publishers, Dordrecht and Boston, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, King’s College, London

    Wilfried Meyer-Viol

Authors
  1. Wilfried Meyer-Viol
    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

Meyer-Viol, W. (2001). Sequential Construction of Logical Forms. 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_10

Download citation

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

  • 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