具有负时态算子的Heyting代数
On Heyting algebras with negative tense operators
摘要：
本文研究了赋有紧张负算子的Heyting代数，我们称之为紧张H-代数，并证明了这些代数是带Galois否定的直觉命题逻辑的代数语义。最后，我们将发展H-代数的Priestley型对偶。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
