Publisher's Synopsis
This is a publication in book form of a volume of the journal "The Bulletin of the Interest Group in Pure and Applied Logics". The papers results from a workshop which discussed the potential of applying natural deduction techniques across the spectrum of natural language modelling - in syntax, in semantics and in pragmatics.;The papers included in this volume fall into four general categories: logic, type theory, categorical grammar, and natural language understanding.