Distributive Lattices with a Negation Operator
Sergio Arturo Celani · Mathematical logic quarterly · 1999
Abstract In this note we introduce and study algebras (L, V, Λ, ⌝, 0,1) of type (2, 2,1,1,1) such that (L, V, ⌝, 0,1) is a bounded distributive lattice and ⌝ is an operator that satisfies the condition ⌝ (a V b) = a ⌝ b and ⌝ 0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras of such an algebra. As an application, we will determine the Priestley spaces of quasi‐Stone algebras.