Artículo

On Heyting Algebras with Negative Tense Operators

Almiñana Reinoso, Federico GabrielIcon ; Pelaitay, Gustavo AndrésIcon ; Zuluaga Botero, William JavierIcon
Fecha de publicación: 12/2023
Editorial: Springer
Revista: Studia Logica
ISSN: 0039-3215
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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.
Palabras clave: GALOIS NEGATIONS , HEYTING ALGEBRAS , NEGATIVE TENSE OPERATORS , TENSE OPERATORS
 
Archivos asociados
Tamaño: 411.2Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/220274
URL: https://link.springer.com/article/10.1007/s11225-023-10053-6
DOI: http://dx.doi.org/10.1007/s11225-023-10053-6
Colecciones
Articulos(CCT - SAN JUAN)
Articulos de CENTRO CIENTIFICO TECNOLOGICO CONICET - SAN JUAN
Citación
Almiñana Reinoso, Federico Gabriel; Pelaitay, Gustavo Andrés; Zuluaga Botero, William Javier; On Heyting Algebras with Negative Tense Operators; Springer; Studia Logica; 111; 6; 12-2023; 1015-1036
Compartir
Altmétricas