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

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/EABA-8LWNHK

Full metadata record

DC Field	Value	Language
dc.contributor.advisor1	Elaine Gouvea Pimentel	pt_BR
dc.contributor.referee1	Carmen Rosa Giraldo Vergara	pt_BR
dc.contributor.referee2	Abilio Azambuja Rodrigues Filho	pt_BR
dc.contributor.referee3	Maurício Ayala-Rincón	pt_BR
dc.creator	Wesley Luiz Alves da Mata	pt_BR
dc.date.accessioned	2019-08-10T20:44:24Z	-
dc.date.available	2019-08-10T20:44:24Z	-
dc.date.issued	2011-02-02	pt_BR
dc.identifier.uri	http://hdl.handle.net/1843/EABA-8LWNHK	-
dc.description.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.	pt_BR
dc.language	Português	pt_BR
dc.publisher	Universidade Federal de Minas Gerais	pt_BR
dc.publisher.initials	UFMG	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Lógica	pt_BR
dc.subject.other	Matemática	pt_BR
dc.subject.other	Lógica simbiótica e matemática	pt_BR
dc.subject.other	Categorias (Matemática)	pt_BR
dc.title	Sobre as lógicas linear, intuicionista e clássica e suas especificações	pt_BR
dc.type	Dissertação de Mestrado	pt_BR
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