Detalhes do Documento

Descrição

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).