Texto completo
| |
| Autor(es): |
Luis Augusto Sbardellini
Número total de Autores: 1
|
| Tipo de documento: | Dissertação de Mestrado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas |
| Data de defesa: | 2001-08-05 |
| Membros da banca: |
Marcelo Esteban Coniglio;
Itala Maria Loffredo D'Ottaviano;
Odilon Otavio Luciano
|
| Orientador: | Marcelo Esteban Coniglio |
| Resumo | |
o presente trabalho trata de semântica categorial, isto é, da interpretação de linguagens de primeira ordem em categorias. Propomos aqui uma generalização da semântica categorial usual (no sentido de [9]) através da modificação adequada da interpretação de símbolos de constantes. Na nossa nova abordagem, qualquer objeto de categoria pode interpretar a sorte de uma constante, mesmo que ele não tenha elementos globais. Exemplificamos os resultados conseguidos através do estudo de feixes e pré-feixes e realizamos uma comparação com as abordagens tradicional e estendida (em [3])...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital (AU) | |
| Processo FAPESP: | 98/16395-2 - Lógica categórica com elementos parciais |
| Beneficiário: | Luis Augusto Sbardellini |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |