Made available in DSpace on 2015-03-03T15:47:48Z (GMT). No. of bitstreams: 1
AdrianoAD_DISSERT.pdf: 771338 bytes, checksum: 06adea5feab9914c5a48eb146511b556 (MD5)
Previous issue date: 2013-11-19 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / I thank to my advisor, Jo?o Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions
to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that
accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of
them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I?d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student
flat Fernado, Don?tila and Aline are my nuclear family in Natal.
I thank my fianc?e Lucl?cia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement
I wouldn?t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski / Esta disserta??o trata do enriquecimento de l?gicas modais. O termo enriquecimento
? usado em dois sentidos distintos. No primeiro deles, de fundo sem?ntico, propomos
uma sem?ntica difusa para diversas l?gicas modais normais e demonstramos
um resultado de completude para uma extensa classe dessas l?gicas enriquecidas
com m?ltiplas inst?ncias do axioma da conflu?ncia. Um fato curioso a respeito dessa
sem?ntica ? que ela se comporta como as sem?nticas de Kripke usuais. O outro enriquecimento
diz respeito ? expressividade da l?gica e se d? por meio da adi??o de
novos conectivos, especialmente de nega??es modais. Neste sentido, estudamos inicialmente
o fragmento da l?gica cl?ssica positiva estendido com uma nega??o modal
paraconsistente e mostramos que essa linguagem ? forte o suficiente para expressar as
linguagens modais normais. Vemos que tamb?m ? poss?vel definir uma nega??o modal
paracompleta e conectivos de restaura??o que internalizam as no??es de consist?ncia
e determina??o a n?vel da linguagem-objeto. Esta l?gica constitui-se em uma L?gica
da Inconsist?ncia Formal e em uma L?gica da Indetermina??o Formal. Em tais l?gicas,
com o objetivo de recuperar infer?ncias cl?ssicas perdidas, demonstram-se Teoremas
de Ajuste de Derivabilidade. No caso da l?gica estendida com uma nega??o paraconsistente,
se removermos a implica??o ainda lidaremos com uma linguagem bastante
rica, com ambas nega??es paranormais e seus respectivos conectivos de restaura??o.
Sobre esta linguagem estudamos a l?gica modal normal minimal definida por meio
de um c?lculo de Gentzen apropriado, ? diferen?a dos demais sistemas estudados at?
ent?o, que s?o apresentados via c?lculo de Hilbert. Em seguida ap?s demonstrarmos
a completude do sistema dedutivo associado a este c?lculo, introduzimos algumas
extens?es desse sistema e buscamos Teoremas de Ajuste de Derivabilidade adequados
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/18688 |
Date | 19 November 2013 |
Creators | Dod?, Adriano Alves |
Contributors | CPF:90688384404, http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7, Nalon, Cl?udia, CPF:52341615104, http://lattes.cnpq.br/7793795625581127, Pimentel, Elaine Gouv?a, CPF:84151781668, http://lattes.cnpq.br/3298246411086415, Almeida, Jo?o Marcos de, CPF:87897695620, Bedregal, Benjamin Ren? Callejas |
Publisher | Universidade Federal do Rio Grande do Norte, Programa de P?s-Gradua??o em Sistemas e Computa??o, UFRN, BR, Ci?ncia da Computa??o |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | application/pdf |
Source | reponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0024 seconds