Use este identificador para citar ou linkar para este item: https://repository.ufrpe.br/handle/123456789/3637
Título: Espaços de Chu: um modelo para lógica linear multiplicativa
Autor: Santos, Jhonata Avelar dos
Endereco Lattes do autor: http://lattes.cnpq.br/1576320990018768
Orientador: Silva, Thiago Dias Oliveira
Endereco Lattes do orientador : http://lattes.cnpq.br/7439995985621562
Palavras-chave: Categorias (Matemática);Teoria das categorias;Lógica;Espaços de Chu
Data do documento: 29-Jul-2021
Citação: 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.
Abstract: 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.
Resumo: 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.
URI: https://repository.ufrpe.br/handle/123456789/3637
Aparece nas coleções:TCC - Licenciatura em Matemática (Sede)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
tcc_jhonataavelardossantos.pdf278,34 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.