Espaços de Chu: um modelo para lógica linear multiplicativa
| dc.contributor.advisor | Silva, Thiago Dias Oliveira | |
| dc.contributor.advisorLattes | http://lattes.cnpq.br/7439995985621562 | |
| dc.contributor.author | Santos, Jhonata Avelar dos | |
| dc.contributor.authorLattes | http://lattes.cnpq.br/1576320990018768 | |
| dc.date.accessioned | 2022-11-29T20:33:03Z | |
| dc.date.available | 2022-11-29T20:33:03Z | |
| dc.date.issued | 2021-07-29 | |
| dc.degree.departament | Matemática | |
| dc.degree.graduation | Licenciatura em Matemática | |
| dc.degree.grantor | Universidade Federal Rural de Pernambuco | |
| dc.degree.level | Graduacao | |
| dc.degree.local | Recife | |
| dc.description.abstract | 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. | |
| dc.description.abstractx | 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. | |
| dc.format.extent | 21 f. | |
| dc.identifier.citation | 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. | |
| dc.identifier.darkflstrmv | https://n2t.net/ark:/57462/001300000ck43 | |
| dc.identifier.uri | https://repository.ufrpe.br/handle/123456789/3637 | |
| dc.language.iso | por | |
| dc.publisher.country | Brasil | |
| dc.rights | openAccess | |
| dc.rights.license | Atribuição 4.0 Internacional (CC BY 4.0) | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/deed.pt_BR | |
| dc.subject | Categorias (Matemática) | |
| dc.subject | Teoria das categorias | |
| dc.subject | Lógica | |
| dc.subject | Espaços de Chu | |
| dc.title | Espaços de Chu: um modelo para lógica linear multiplicativa | |
| dc.type | bachelorThesis |