Detalhes bibliográficos
| Ano de defesa: |
1988 |
| Autor(a) principal: |
Mosca, Paulo Roberto Ferrari |
| Orientador(a): |
Azeredo, Paulo Alberto de |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Não Informado pela instituição
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://hdl.handle.net/10183/257020
|
Resumo: |
Esse trabalho assume que nâo existe uma diferença teórica importante entre as linguagens formais e as linguagens naturais. Uma teoria formalizada em lógica para um processador para a língua portuguesa é apresentada. A sintaxe usa apenas regras livres de contexto. A semântica é construída como este no PTQ de Montague. Existem ainda um cálculo lógico sobre o "aspecto verbal" e um tratamento lógico do tempo verbal. |
