Semantica categorial generalizada

Detalhes bibliográficos
Autor(a) principal: Sbardellini, Luis Augusto
Data de Publicação: 2001
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1591138
Resumo: Orientador: Marcelo Esteban Coniglio
id UNICAMP-30_07139aab4de619d94af4001c68774e3b
oai_identifier_str oai::222125
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Semantica categorial generalizadaLógica simbólica e matemáticaTeoria do modeloCategorias (Matemática)Teoria de feixesOrientador: Marcelo Esteban ConiglioDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: 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 digitalAbstract: 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 dissertationsMestradoMestre em Filosofia[s.n.]Coniglio, Marcelo Esteban, 1963-D'Ottaviano, Itala Maria LoffredoLuciano, Odilon OtavioUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASSbardellini, Luis Augusto20012001-08-05T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf122p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1591138SBARDELLINI, 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: https://hdl.handle.net/20.500.12733/1591138. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/222125porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:28:11Zoai::222125Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:28:11Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Semantica categorial generalizada
title Semantica categorial generalizada
spellingShingle Semantica categorial generalizada
Sbardellini, Luis Augusto
Lógica simbólica e matemática
Teoria do modelo
Categorias (Matemática)
Teoria de feixes
title_short Semantica categorial generalizada
title_full Semantica categorial generalizada
title_fullStr Semantica categorial generalizada
title_full_unstemmed Semantica categorial generalizada
title_sort Semantica categorial generalizada
author Sbardellini, Luis Augusto
author_facet Sbardellini, Luis Augusto
author_role author
dc.contributor.none.fl_str_mv Coniglio, Marcelo Esteban, 1963-
D'Ottaviano, Itala Maria Loffredo
Luciano, Odilon Otavio
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Sbardellini, Luis Augusto
dc.subject.por.fl_str_mv Lógica simbólica e matemática
Teoria do modelo
Categorias (Matemática)
Teoria de feixes
topic Lógica simbólica e matemática
Teoria do modelo
Categorias (Matemática)
Teoria de feixes
description Orientador: Marcelo Esteban Coniglio
publishDate 2001
dc.date.none.fl_str_mv 2001
2001-08-05T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1591138
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: https://hdl.handle.net/20.500.12733/1591138. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1591138. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1591138
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/222125
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
122p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188859420868608

Registros relacionados