The contributions collected in this voume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks, among others GB, DRT and HPSG.

All contributions have in common a strong preference for logic as the major tool of analysis. The first main issue concerns the combination of DRT and HPSG styles of analysis into a single system for natural language processing. The second central issue concerns the logical and automata - theoretical foundations of...