Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2016-06-14T14:40:07Z
No. of bitstreams: 1
Dissertação Darllan Conceição Pinto.pdf: 899783 bytes, checksum: 5572f413815923ab3c8d189ad9a5ffe3 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-14T15:34:46Z (GMT) No. of bitstreams: 1
Dissertação Darllan Conceição Pinto.pdf: 899783 bytes, checksum: 5572f413815923ab3c8d189ad9a5ffe3 (MD5) / Made available in DSpace on 2016-06-14T15:34:46Z (GMT). No. of bitstreams: 1
Dissertação Darllan Conceição Pinto.pdf: 899783 bytes, checksum: 5572f413815923ab3c8d189ad9a5ffe3 (MD5) / FAPESB / Neste trabalho, inicialmente, apresentamos a Dualidade de Esakia. Enfraquecendo
os mor smos de reticulados e considerando os mor smo de Esakia como sendo
Mor smos Parciais de Esakia, obtemos a Dualidade Generalizada de Esakia. Com esses
resultados, estabelecemos uma dualidade entre as categorias de L ogicas Abstratas Distributivas
e espa cos Priestley, e uma representa c~ao de L ogicas Abstratas Intuicionistas
em Espa cos de Esakia. Por m, aplicamos os resultados na compara c~ao da Condi c~ao de
Dom nios Fechados (CDF) com a Condi c~oes de Dom nios Fechados de Zakharyaschev
(CDFZ). / In this work, initially, we present the Esakia duality. Weakening the morphisms
of lattices and considering the Esakia morphism as Partial Esakia morphism, we obtain
the Generalized Esakia Duality. With these results, we establish a duality between the
categories of Distributive Abstract Logic and Priestley Spaces, and a representation of
intuitionistic Abstract Logic and Esakia Spaces. Finally, we apply the results of the
comparison closed domain condition (CDC) with the Zakharyaschev's closed domain
condition (ZCDC).
| Identifer | oai:union.ndltd.org:IBICT/oai:192.168.11:11:ri/19491 |
| Date | January 2012 |
| Creators | Pinto, Darllan Conceição |
| Contributors | Brunner, Andreas Bernhard Michael, Brunner, Andreas Bernhard Michael, Mariano, Hugo Luiz, Silva, Samuel Gomes da |
| Publisher | Instituto de Matemática, Mestrado em Matemática, UFBA, brasil |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFBA, instname:Universidade Federal da Bahia, instacron:UFBA |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0017 seconds