On Heyting algebras with negative tense operators
Logic
2023-01-02 v1
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.
Cite
@article{arxiv.2212.14756,
title = {On Heyting algebras with negative tense operators},
author = {F. Almiñana and G. Pelaitay and W. Zuluaga},
journal= {arXiv preprint arXiv:2212.14756},
year = {2023}
}