TCC - Licenciatura em Matemática (Sede)
URI permanente para esta coleçãohttps://arandu.ufrpe.br/handle/123456789/466
Navegar
Item Espaços de Chu: um modelo para lógica linear multiplicativa(2021-07-29) Santos, Jhonata Avelar dos; Silva, Thiago Dias Oliveira; http://lattes.cnpq.br/7439995985621562; http://lattes.cnpq.br/1576320990018768Neste 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.