Logical Aspects of Computational Linguistics