Navegando por Assunto "Lógica"

Filtrar resultados informando o último nome do autor
Agora exibindo 1 - 1 de 1
  • Imagem de Miniatura
    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/1576320990018768
    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.