Orientador: Carlos A. LungarzoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Esta dissertação trata da lingüística computacional do ponto de vista da programação lógica, sendo uma contribuição à utilização da lógica gramatical como uma ferramenta para descrever a sintaxe de subconjuntos de linguagem natural, em particular do fenômeno lingüístico chamado referência pronominal, onde em seu trabalho de tese, CARVALHO [1989], desenvolve desde formalismos gramaticais mais simples, nos quais as restrições têm de ser explicitamente estabelecidas nas regras gramaticais, até formalismos mais complexos, onde o(a) gramático(a) não tem que se preocupar com as restrições, pois tudo é compilado automaticamente pelo compilador Prolog. Em seu trabalho de tese ela utiliza o conceito de categoria mínima de regência de um nódulo A como sendo a minimal S ou SN dominando A. Porém, com o desenvolvimento da teoria lingüística, o conceito de categoria mínima de regência de um nódulo A passa a ser a primeira categoria maior SN ou S que domina A, um regente de A e um SUJEITO accessível a A. Nesta dissertação será usado este último conceito de categoria mínima de regência e serão analisadas algumas das possíveis implicações que decorrem deste fato.Abstract: Not informed.MestradoMestre em Logica e Filosofia da Ciencia