Sobre as lógicas linear, intuicionista e clássica e suas especificações

Página do item simplificado
dc.creatorWesley Luiz Alves da Mata
dc.date.accessioned2019-08-10T20:44:24Z
dc.date.accessioned2025-09-09T01:18:19Z
dc.date.available2019-08-10T20:44:24Z
dc.date.issued2011-02-02
dc.identifier.urihttps://hdl.handle.net/1843/EABA-8LWNHK
dc.languagePortuguês
dc.publisherUniversidade Federal de Minas Gerais
dc.rightsAcesso Aberto
dc.subjectMatemática
dc.subjectLógica simbiótica e matemática
dc.subjectCategorias (Matemática)
dc.subject.otherLógica
dc.titleSobre as lógicas linear, intuicionista e clássica e suas especificações
dc.typeDissertação de mestrado
local.contributor.advisor1Elaine Gouvea Pimentel
local.contributor.referee1Carmen Rosa Giraldo Vergara
local.contributor.referee1Abilio Azambuja Rodrigues Filho
local.contributor.referee1Maurício Ayala-Rincón
local.description.resumoA presente dissertação visa o estudo de três lógicas, as lógicas clássica, intuicionista e linear, bem como suas especificações, necessárias para a construção do provador automátio de teoremas PLLIC, que verifica quando sequentes do tipo () são prováveis, onde (),() são conjuntos de fórmulas e L pode ser uma dessas seguintes lógicas: linear LL, intuicionista LJ ou clássica LK.
local.publisher.initialsUFMG

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
dissertacao_wesleyluiz.pdf
Tamanho:
2.19 MB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Pós-Graduação em Matemática - Dissertações

Logo UFMG