Artículo

Remarks on Heyting algebras with tense operators

Figallo, Aldo Victorio; Pelaitay, Gustavo AndrésIcon
Fecha de publicación: 02/2012
Editorial: Lodz University Press
Revista: Bulletin Of The Section Of Logic
ISSN: 0138-0680
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

The concept of tense operators on Heyting algebras was introduced in [3]. The aim of this paper is to prove, that the set of axioms proposed by I. Chajda in [3, Definition 1], is a dependent axioms system and show that tense operators F and P can not be regarded as existential quantifiers.
Palabras clave: HEYTING ALGEBRAS , TENSE OPERATORS
 
Archivos asociados
Thumbnail
 
Tamaño: 215.8Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess 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/211665
URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/41_12_8.pdf
URL: https://czasopisma.uni.lodz.pl/bulletin/issue/archive
Colecciones
Articulos(CCT - SAN JUAN)
Articulos de CENTRO CIENTIFICO TECNOLOGICO CONICET - SAN JUAN
Citación
Figallo, Aldo Victorio; Pelaitay, Gustavo Andrés; Remarks on Heyting algebras with tense operators; Lodz University Press; Bulletin Of The Section Of Logic; 41; 1-2; 2-2012; 71-74
Compartir