Use este identificador para citar o ir al link de este elemento:
http://hdl.handle.net/1843/EABA-8LWNHK| Tipo: | Dissertação de Mestrado |
| Título: | Sobre as lógicas linear, intuicionista e clássica e suas especificações |
| Autor(es): | Wesley Luiz Alves da Mata |
| primer Tutor: | Elaine Gouvea Pimentel |
| primer miembro del tribunal : | Carmen Rosa Giraldo Vergara |
| Segundo miembro del tribunal: | Abilio Azambuja Rodrigues Filho |
| Tercer miembro del tribunal: | Maurício Ayala-Rincón |
| Resumen: | 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. |
| Asunto: | Matemática Lógica simbiótica e matemática Categorias (Matemática) |
| Idioma: | Português |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Institución: | UFMG |
| Tipo de acceso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/EABA-8LWNHK |
| Fecha del documento: | 2-feb-2011 |
| Aparece en las colecciones: | Dissertações de Mestrado |
archivos asociados a este elemento:
| archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| dissertacao_wesleyluiz.pdf | 2.24 MB | Adobe PDF | Visualizar/Abrir |
Los elementos en el repositorio están protegidos por copyright, con todos los derechos reservados, salvo cuando es indicado lo contrario.