Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-31T14:53:37Z (GMT). No. of bitstreams: 1
Sbardellini_LuisAugusto_M.pdf: 6203251 bytes, checksum: 2194621e6912483f7d0be2f2f3722695 (MD5)
Previous issue date: 2001 / 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 / 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 / Mestrado / Mestre em Filosofia
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/278900 |
Date | 05 August 2001 |
Creators | Sbardellini, Luis Augusto |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Coniglio, Marcelo Esteban, 1963-, D'Ottaviano, Itala Maria Loffredo, Luciano, Odilon Otavio |
Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | 122p. : il., application/pdf |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds