2000 character limit reached
On Heyting algebras with negative tense operators (2212.14756v1)
Published 23 Dec 2022 in math.LO
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.