Skip to main content
SpringerLink
Log in

6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)

  • Conference paper
  • First Online:
New Frontiers in Artificial Intelligence (JSAI-isAI 2009)

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

Included in the following conference series:

  • 804 Accesses

Abstract

The annual international workshop LENLS (Logic and Engineering of Natural Language Semantics) covers topics in formal linguistics and related fields, such as theoretical computer science, mathematical logic and formal philosophy, and includes the following:

  • \(\maltese\) Dynamic syntax/semantics/pragmatics of natural language

  • \(\maltese\) Categorical/topological/coalgebraic approaches to natural language syntax/ semantics/pragmatics

  • \(\maltese\) Logic and its relation to natural language and linguistic reasoning (especially dynamic logics)

  • \(\maltese\) Type-theoretic approaches to natural language

  • \(\maltese\) Formal philosophy of language

  • \(\maltese\) Formal pragmatics (especially game- and utility-theoretic approaches)

  • \(\maltese\) Substructural expansion of Lambek Lambda Calculi

  • \(\maltese\) Many-valued/Fuzzy and other non-classical logics and natural language

Formal linguistics is intrinsically an interdisciplinary field. Indeed, most of the formalisms which have been adopted in formal linguistics have their origin in the field of theoretical computer science, and in programming semantics especially.

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

References

  • Barker, C.: Introducing Continuations. In: Hastings, R., Jackson, B., Zvolenszky, Z. (eds.) The Proceedings of SALT 11. CLC Publications, Ithaca (2001)

    Google Scholar 

  • Church, A.: The Calculi of Lambda Conversion. Annals of Mathematical Studies, vol. 6, ii+77. Princeton University Press, Princeton (1941)

    Google Scholar 

  • Danvy, O., Filinski, A.: Abstracting Control. In: The Proceedings of LFP 1990, the 1990 ACM Conference on Lisp and Functional Programming, pp. 151–160 (1990)

    Google Scholar 

  • de Groote, P.: Type raising, continuations, and classical logic. In: van Rooij, R., Stokhof, M. (eds.) The Proceedings of the 13th Amsterdam Colloquium, Institute for Logic, Language and Computation, Universiteit van Amsterdam, pp. 97–101 (2001)

    Google Scholar 

  • Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philosophy 14, 39–100 (1991)

    Article  Google Scholar 

  • Harel, D. (ed.): First-Order Dynamic Logic. LNCS, vol. 68. Springer, Heidelberg (1979)

    MATH  Google Scholar 

  • Montague, R.: The Proper Treatment of Quantification in Ordinary English. In: Hintikka, J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221–242. Reidel, Dordrecht (1973)

    Chapter  Google Scholar 

  • Plotkin, G.D.: Call-by-Name, Call-by Value and the Lambda Calculus. Theoretical Computer Science 1, 125–159 (1975)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ochanomizu University, 2-1-1 Ohtsuka, Bunkyo-ku, Tokyo, 112-8610, Japan

    Daisuke Bekki

Authors
  1. Daisuke Bekki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SRA Inc., Key Technology Laboratory, 2-32-8 Minami-Ikebukuro, Toyoshima-Ku, 171-8513, Tokyo, Japan

    Kumiyo Nakakoji

  2. National Institute of Information and Communications Technology, 3-5 Hikaridai, Seika-cho, Soraku-gun, 619-0289, Kyoto, Japan

    Yohei Murakami

  3. Department of English, Aoyama Gakuin University, 4-4-25 Shibuya, Shibuya-ku, 150-8366, Tokyo, Japan

    Elin McCready

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bekki, D. (2010). 6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6). In: Nakakoji, K., Murakami, Y., McCready, E. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2009. Lecture Notes in Computer Science(), vol 6284. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14888-0_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14888-0_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14887-3

  • Online ISBN: 978-3-642-14888-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation