Generalized Esakia spaces are the topological duals of bounded implicative semilattices in the duality studied by G. Bezhanishvili and R. Jansana. We study the relation between a Hilbert algebra and the generalized Esakia ...

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

The main goal of this work is to give an explicit computation of some coproducts in the variety of KM-algebras introduced by the Chişinǎu group headed by Kuznetsov during the decade of the 1970s. This is done using a ...

O presente trabalho tem como objetivo principal apresentar a equivalência dual entre a categoria DLat, dos reticulados distributivos, e as categorias Pries, dos espaços Priestley, e Spec, dos espaços espectrais, por meio ...

In this article, we introduce and study a family of compatible functions in Hilbert algebras which in the case of Heyting algebras agree with the frontal operators given by Esakia (2006, J. Appl. Non-Class. Log., 16, ...

In this paper, we introduce the variety of algebras, which we call monadic kxj-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in 3x2 case they coincide with monadic 3-valued ...

We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s work on Intuitionistic Kripke models of Set Theory. Firstly, we consider constructable sets within valued models of Set Theory. ...