Twist-structures isomorphic to modal Nelson lattices

Abstract

In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal operators on Nelson lattices. To achieve this, we utilize the representation of Nelson lattices as twist structures over Heyting algebras and establish a categorical equivalence. Finally, we develop a topological duality for this new variety and apply it to derive a topological duality for modal Nelson lattices.