Teoria de Categorias: uma semântica categorial para linguagens proposicionais (2018)
- Authors:
- Autor USP: MAILLARD, CHRISTIAN MARCEL DE AMORIM PERRET GENTIL DIT - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Subjects: FILOSOFIA; LÓGICA; LÓGICA MATEMÁTICA; CÁLCULO PROPOSICIONAL
- Keywords: Funções de verdade; Teoria de categorias; Theory of categories; Truth functions
- Agências de fomento:
- Language: Português
- Abstract: O ponto central dessa dissertação é expor categorialmente as funções de verdade do cálculo proposicional clássico, assim como provar, também categorialmente, que a definição dada se comporta tal como as tabelas de verdade dos operadores. Para tanto é feita uma exposição axiomática de teoria de categorias, salientando as construções e conceitos que servirão para o propósito principal da dissertação. É dada uma maior atenção ao conceito de Topos, estrutura onde as funções de verdade são em princípio construídas. Tal exposição é precedida de uma breve exposição da história de teoria de categorias. Por fim é apresentada uma possível nova estrutra, mais simples que Topos, onde também se constrói as funções de verdade
- Imprenta:
- Data da defesa: 24.05.2018
-
ABNT
MAILLARD, Christian Marcel de Amorim Perret Gentil Dit. Teoria de Categorias: uma semântica categorial para linguagens proposicionais. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/. Acesso em: 24 abr. 2024. -
APA
Maillard, C. M. de A. P. G. D. (2018). Teoria de Categorias: uma semântica categorial para linguagens proposicionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/ -
NLM
Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/ -
Vancouver
Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
