Espaços de Chu: um modelo para lógica linear multiplicativa
Data
2021-07-29
Autores
Lattes da Autoria
Orientação Docente
Lattes da Orientação Docente
Título da Revista
ISSN da Revista
Título de Volume
Editor
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.
Resumo em outro idioma
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
Palavras-chave
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.
Identificador dARK
Avaliação
Revisão
Suplementado Por
Referenciado Por
Licença Creative Commons
Exceto quando indicado de outra forma, a licença deste item é descrita como openAccess