论文标题
关于用负时运算符的代数扬声器
On Heyting algebras with negative tense operators
论文作者
论文摘要
在本文中，我们将研究具有时态负算子的热门代数，我们称之为时态H-代数，并证明这些代数是直觉命题逻辑与Galois Neginess的代数语义。最后，我们将为H-Algebras开发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.
