Dualidade Generalizada de Esakia com Aplicações

Abstract

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