Espaços de Chu: um modelo para lógica linear multiplicativa.

Detalhes bibliográficos
Autor(a) principal: Santos, Jhonata Avelar dos
Data de Publicação: 2021
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
Texto Completo: https://repository.ufrpe.br/handle/123456789/3637
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.
id UFRPE_b2f2e2d964c12a39a9d3f96237c3a9e4
oai_identifier_str oai:dspace:123456789/3637
network_acronym_str UFRPE
network_name_str Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
repository_id_str https://v2.sherpa.ac.uk/id/repository/10612
spelling Espaços de Chu: um modelo para lógica linear multiplicativa.Categorias (Matemática)Teoria das categoriasLógicaEspaços de ChuNeste 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.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.BrasilSilva, Thiago Dias Oliveirahttp://lattes.cnpq.br/1576320990018768http://lattes.cnpq.br/7439995985621562Santos, Jhonata Avelar dos2022-11-29T20:33:03Z2022-11-29T20:33:03Z2021-07-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis21 f.application/pdfSantos, 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.https://repository.ufrpe.br/handle/123456789/3637porAtribuição 4.0 Internacional (CC BY 4.0)https://creativecommons.org/licenses/by/4.0/deed.pt_BRopenAccessinfo:eu-repo/semantics/openAccessreponame:Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)instname:Universidade Federal Rural de Pernambuco (UFRPE)instacron:UFRPE2022-11-29T20:33:40Zoai:dspace:123456789/3637Repositório InstitucionalPUBhttps://repository.ufrpe.br/oai/requestrepositorio.sib@ufrpe.bropendoar:https://v2.sherpa.ac.uk/id/repository/106122022-11-29T20:33:40Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE) - Universidade Federal Rural de Pernambuco (UFRPE)false
dc.title.none.fl_str_mv Espaços de Chu: um modelo para lógica linear multiplicativa.
title Espaços de Chu: um modelo para lógica linear multiplicativa.
spellingShingle Espaços de Chu: um modelo para lógica linear multiplicativa.
Santos, Jhonata Avelar dos
Categorias (Matemática)
Teoria das categorias
Lógica
Espaços de Chu
title_short Espaços de Chu: um modelo para lógica linear multiplicativa.
title_full Espaços de Chu: um modelo para lógica linear multiplicativa.
title_fullStr Espaços de Chu: um modelo para lógica linear multiplicativa.
title_full_unstemmed Espaços de Chu: um modelo para lógica linear multiplicativa.
title_sort Espaços de Chu: um modelo para lógica linear multiplicativa.
author Santos, Jhonata Avelar dos
author_facet Santos, Jhonata Avelar dos
author_role author
dc.contributor.none.fl_str_mv Silva, Thiago Dias Oliveira
http://lattes.cnpq.br/1576320990018768
http://lattes.cnpq.br/7439995985621562
dc.contributor.author.fl_str_mv Santos, Jhonata Avelar dos
dc.subject.por.fl_str_mv Categorias (Matemática)
Teoria das categorias
Lógica
Espaços de Chu
topic Categorias (Matemática)
Teoria das categorias
Lógica
Espaços de Chu
description 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.
publishDate 2021
dc.date.none.fl_str_mv 2021-07-29
2022-11-29T20:33:03Z
2022-11-29T20:33:03Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 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.
https://repository.ufrpe.br/handle/123456789/3637
identifier_str_mv 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.
url https://repository.ufrpe.br/handle/123456789/3637
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Atribuição 4.0 Internacional (CC BY 4.0)
https://creativecommons.org/licenses/by/4.0/deed.pt_BR
openAccess
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribuição 4.0 Internacional (CC BY 4.0)
https://creativecommons.org/licenses/by/4.0/deed.pt_BR
openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 21 f.
application/pdf
dc.publisher.none.fl_str_mv Brasil
publisher.none.fl_str_mv Brasil
dc.source.none.fl_str_mv reponame:Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
instname:Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
instname_str Universidade Federal Rural de Pernambuco (UFRPE)
instacron_str UFRPE
institution UFRPE
reponame_str Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
collection Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE)
repository.name.fl_str_mv Repositório institucional da Universidade Federal Rural de Pernambuco (UFRPE) (RI-UFRPE) - Universidade Federal Rural de Pernambuco (UFRPE)
repository.mail.fl_str_mv repositorio.sib@ufrpe.br
_version_ 1809277146757070848

Registros relacionados