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

• Ano de defesa: 2011
• Autor(a) principal: Wesley Luiz Alves da Mata
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Minas Gerais; UFMG
• Palavras-chave em Português: Lógica; Matemática; Lógica simbiótica e matemática; Categorias (Matemática)
• Link de acesso: http://hdl.handle.net/1843/EABA-8LWNHK

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.