Sobre as lógicas linear, intuicionista e clássica e suas especificações
Carregando...
Arquivos
Data
Autor(es)
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Minas Gerais
Descrição
Tipo
Dissertação de mestrado
Título alternativo
Primeiro orientador
Membros da banca
Carmen Rosa Giraldo Vergara
Abilio Azambuja Rodrigues Filho
Maurício Ayala-Rincón
Abilio Azambuja Rodrigues Filho
Maurício Ayala-Rincón
Resumo
A 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.
Abstract
Assunto
Matemática, Lógica simbiótica e matemática, Categorias (Matemática)
Palavras-chave
Lógica