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 ten...

Full description

Saved in:
Bibliographic Details
Published inStudia logica Vol. 111; no. 6; pp. 1015 - 1036
Main Authors Almiñana, Federico G., Pelaitay, Gustavo, Zuluaga, William
Format Journal Article
LanguageEnglish
Published Dordrecht Springer Netherlands 01.12.2023
Subjects
Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
Tense operators
Heyting algebras
Negative tense operators
Galois negations
Online AccessGet full text

Cover

More Information
Summary: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 tense H-algebras.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-023-10053-6