The Tbilisi Symposium on Logic, Language and Computation

This volume brings together papers from linguists, logicians, and computer scientists from thirteen countries (Armenia, Denmark, France, Georgia, Germany, Israel, Italy, Japan, Poland, Spain, Sweden, UK, and USA). This collection has two main aims: first, to serve as a catalyst for new interdisciplinary developments in language, logic and computation; and second, to introduce new ideas from the expanded European academic community. Spanning a wide range of disciplines, the papers included in this volume cover such topics as formal semantics of natural language, dynamic semantics, channel theory, formal syntax of natural language, formal language theory, corpus-based methods in computational linguistics, computational semantics, syntactic and semantic aspects of λ-calculus, non-classical logics, and a fundamental problem in predicate logic. The papers that appear in this volume have been selected from those originally presented at the frist Tbilisi Symposium on Language Logic, and Computation that took place in Gudauri, the Republic of Georgia, in October 1995.

Jonathan Ginzburg is a lecturer in linguistics at the Hebrew University of Jerusalem. Zurab Khasidashvili is a visiting researcher at NTT Basic Research Laboritories, Arsugi, Japan. Carl Vogel is a lecturer in computational linguistics at the O'Reilly Institute in the Department of Computer Science Trinity College, University of Dublin. Jean-Jacques Lévy is a Research Director at INRIA, head of the Parallelism group at INRIA, and a professor at École Polytechnique. Enric Vallduví is an associate professor in the Department of Translation and Philogy and at the Instute for Research in Applied Linguistics Universitat Popeu Fabra, Barcelona.

Contents

1/1/98