Logical Aspects of Computational Linguistics by