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.