On Heyting algebras with negative tense operators
In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois Negations. Finally, we will develop a Priestley-style duality for H-algebras.
math.LO↗