Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/EABA-8LWNHK| Type: | Dissertação de Mestrado |
| Title: | Sobre as lógicas linear, intuicionista e clássica e suas especificações |
| Authors: | Wesley Luiz Alves da Mata |
| First Advisor: | Elaine Gouvea Pimentel |
| First Referee: | Carmen Rosa Giraldo Vergara |
| Second Referee: | Abilio Azambuja Rodrigues Filho |
| Third Referee: | Maurício Ayala-Rincón |
| Abstract: | 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. |
| Subject: | Matemática Lógica simbiótica e matemática Categorias (Matemática) |
| language: | Português |
| Publisher: | Universidade Federal de Minas Gerais |
| Publisher Initials: | UFMG |
| Rights: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/EABA-8LWNHK |
| Issue Date: | 2-Feb-2011 |
| Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| dissertacao_wesleyluiz.pdf | 2.24 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.