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

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: Wesley Luiz Alves da Mata
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
UFMG
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://hdl.handle.net/1843/EABA-8LWNHK
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.