Navegando por Autor "Santos, Jhonata Avelar dos"

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
    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.