| dc.creator | Sbardellini, Luis Augusto | |
| dc.date | 2001 | |
| dc.date | 2001-08-05T00:00:00Z | |
| dc.date | 2017-04-03T16:10:08Z | |
| dc.date | 2017-07-14T20:09:14Z | |
| dc.date | 2017-04-03T16:10:08Z | |
| dc.date | 2017-07-14T20:09:14Z | |
| dc.date.accessioned | 2018-03-29T04:10:23Z | |
| dc.date.available | 2018-03-29T04:10:23Z | |
| dc.identifier | (Broch.) | |
| dc.identifier | SBARDELLINI, Luis Augusto. Semantica categorial generalizada. 2001. 122p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=vtls000235763>. Acesso em: 3 abr. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/278900 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1341915 | |
| dc.description | Orientador: Marcelo Esteban Coniglio | |
| dc.description | Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas | |
| dc.description | 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 | |
| dc.description | Abstract: The present work treats of categorial semantics, that is, the interpretation of first order languages in categories.
We propose here a generalization of the usual categorial semantics (in the sense of [9]) through the suitable modification of the interpretation of symbols of constants. In our approach, any categorial object may interpret the sort of a constant, even of it does not have global elements. We exemplified the results obtained through the study of sheaves and presheaves and established a comparison with the traditional and extended approaches (in [3])....Note: The complete abstract is available with the full electronic digital thesis or dissertations | |
| dc.description | Mestrado | |
| dc.description | Mestre em Filosofia | |
| dc.format | 122p. : il. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Lógica simbólica e matemática | |
| dc.subject | Teoria do modelo | |
| dc.subject | Categorias (Matemática) | |
| dc.subject | Teoria de feixes | |
| dc.title | Semantica categorial generalizada | |
| dc.type | Tesis | |
