k-rough Heyting algebras were introduced by Eric San Juan as an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of rough set concepts in particular. ...

The present study aims to introduce the Birkhoff duality, extending for Stone duality and followed by Priestley duality, as well as the basic concepts for understanding them. It will then be introduced a positive modal ...

We introduce a family of extensions of bounded distributive lattices. These extensions are obtained by adding two operations: an internal unary operation, and a function (called generalized implication) that maps pair of ...

In this paper we consider the notion of subordination on distributive lattices, equivalent to that of quasi-modal operator for distributive lattices introduced by Castro and Celani in 2004. We provide topological dualities ...

A subresiduated lattice is a pair (A,D), where A is a bounded distributive lattice, D is a bounded sublattice of A and for every a,b ∈ A there is c ∈ D such that for all d ∈ D, d∧a ≤ b if and only if d ≤ c. This c is denoted ...

En este trabajo se estudia la teoría de representación hecha por Urquhart para retículos acotados y adicionalmente se establece una co-equivalencia entre la categoría de los espacios de Urquhart y la categoría de los ...

In this paper we continue the study of the variety MG of monadic Gödel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of Gödel logic, which is equivalent to the one-variable monadic ...

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