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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Barker, C.: Introducing Continuations. In: Hastings, R., Jackson, B., Zvolenszky, Z. (eds.) The Proceedings of SALT 11. CLC Publications, Ithaca (2001)
Church, A.: The Calculi of Lambda Conversion. Annals of Mathematical Studies, vol. 6, ii+77. Princeton University Press, Princeton (1941)
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)
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)
Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philosophy 14, 39–100 (1991)
Harel, D. (ed.): First-Order Dynamic Logic. LNCS, vol. 68. Springer, Heidelberg (1979)
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)
Plotkin, G.D.: Call-by-Name, Call-by Value and the Lambda Calculus. Theoretical Computer Science 1, 125–159 (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)