Resumo: Nesta tese foram desenvolvidos analisadores gramaticais para as seguintes línguas apresentadas no livro Introduction to Montague Semantics (Dowty, Wall & Peters 1981): Lo,LoE,LI e LType. Nesse manual, a apresentação da semântica de Montague é feita primeiro através da apresentação de uma parte do cálculo de predicados, seguida de sua correspondente adaptação para um fragmento do inglês; e aos poucos vão sendo introduzidas complexidades que resultam nas novas línguas. A língua Lo corresponde à parte do cálculo de predicados apenas com constantes (nomes de indivíduos e predicados); a língua LI corresponde à parte que contém as variáveis para indivíduos (chamada de primeira ordem); e em Ltype a língua é acrescida de variáveis para qualquer categoria sintática (o que é conhecido como ordem superior). Estamos empregando o termo "analisador gramatical" como tradução do termo em inglês "parser"; mas, ao contrário do que muitas vezes acontece, o analisador gramatical aqui, além de incluir um analisador sintático, inclui também um interpretador semântico. A única língua que não teve implementação completa foi LType, para a qual não foi feito o seu interpretador semântico. No entanto, essa falta fica justificada porque durante a tentativa de implementação de seu interpretador, constatou-se um defeito na especificação formal de suas regras semânticas. Assim, ao invés dessa implementação, optou-se por descrever e propor uma solução para esse problema