Dissertation/ Thesis
Teoria de Categorias: uma semântica categorial para linguagens proposicionais
| العنوان: | Teoria de Categorias: uma semântica categorial para linguagens proposicionais |
|---|---|
| Alternate Title: | Theory of categories: a categorical semantic for propositional languages |
| المؤلفون: | Maillard, Christian Marcel de Amorim Perret Gentil Dit |
| Thesis Advisors: | Souza, Edelcio Gonçalves de |
| بيانات النشر: | Biblioteca Digitais de Teses e Dissertações da USP, 2018. |
| سنة النشر: | 2018 |
| المجموعة: | Universidade de São Paulo |
| مصطلحات موضوعية: | Cálculo proposicional, Funções de verdade, Lógica matemática, Mathematical logic, Propositional calculus, Teoria de categorias, Theory of categories, Truth functions |
| الوصف: | 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. The main purpose of this dissertation is to give a categorial account of the truth functions from the classic propositional calculus, as well as to prove, also categorially, that the definition given behave as the truth tables of the operators. For this end, an axiomatic exposition of category theory is made, focusing on constructions and concepts which will be used for the main purpose of the dissertation. More attention is given to the concept of Topos, structure where the truth functions are primarily constructed. Preceded by a brief exposition of Category Theory history. At the end, a new possible structure in which truth functions may be constructed, simpler than a Topos, is presented. |
| Original Identifier: | oai:teses.usp.br:tde-15032019-114808 |
| نوع الوثيقة: | Dissertação de Mestrado |
| وصف الملف: | application/pdf |
| اللغة: | Portuguese |
| الاتاحة: | http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/ |
| Rights: | Liberar o conteúdo para acesso público. |
| رقم الانضمام: | edsndl.usp.br.oai.teses.usp.br.tde.15032019.114808 |
| قاعدة البيانات: | Networked Digital Library of Theses & Dissertations |
| الوصف غير متاح. |