Formal Linguistics

The study of language using mathematical and logical models.