Title: Logical Aspects of Computational Linguistics