Espaços de Chu: um modelo para lógica linear multiplicativa
Data
2021-07-29
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo
In this work, we will discuss about the properties of some structures, being them: Category theory; Chu spaces; Multiplicative Linear Logic (MLL), more specifically we will briefly go through the properties about these structures, such as definitions and some derived constructions, in order to build the Category of Chu spaces and all its operations and from this knowledge model MLL using some appropriate axiom systems.
Descrição
Neste trabalho, discutiremos sobre as propriedades de algumas estruturas, sendo elas: Teoria das categorias; espaços de Chu; Lógica Linear Multiplicativa(MLL Sigla em inglês), mais especificamente iremos percorrer brevemente as propriedades sobre essas estruturas, como definições e algumas construções derivadas, afim de exibir a Categoria dos espaços de Chu e todas as suas operações e partindo desses conhecimento modelar a MLL utilizando alguns sistemas de axiomas apropriados.
Palavras-chave
Categorias (Matemática), Teoria das categorias, Lógica, Espaços de Chu
Referência
SANTOS, Jhonata Avelar dos. Espaços de Chu: um modelo para lógica linear multiplicativa. 2021. 21 f. Trabalho de Conclusão de Curso (Licenciatura em Matemática) - Departamento de Matemática, Universidade Federal Rural de Pernambuco, Recife, 2021.