Remarks on Heyting algebras with tense operators

Autores
Figallo, Aldo Victorio; Pelaitay, Gustavo Andrés
Año de publicación
2012
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Figallo, Aldo Victorio. Universidad Nacional de San Juan; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Pelaitay, Gustavo Andrés. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
HEYTING ALGEBRAS
TENSE OPERATORS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/211665
Acceder
id CONICETDig_635e46a040212b789c32713fa21739da
oai_identifier_str oai:ri.conicet.gov.ar:11336/211665
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Remarks on Heyting algebras with tense operatorsFigallo, Aldo VictorioPelaitay, Gustavo AndrésHEYTING ALGEBRASTENSE OPERATORShttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1The 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.Fil: Figallo, Aldo Victorio. Universidad Nacional de San Juan; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Pelaitay, Gustavo Andrés. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaLodz University Press2012-02info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/211665Figallo, 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-740138-0680CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://www.filozof.uni.lodz.pl/bulletin/pdf/41_12_8.pdfinfo:eu-repo/semantics/altIdentifier/url/https://czasopisma.uni.lodz.pl/bulletin/issue/archiveinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:51:33Zoai:ri.conicet.gov.ar:11336/211665instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:51:34.044CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Remarks on Heyting algebras with tense operators
title Remarks on Heyting algebras with tense operators
spellingShingle Remarks on Heyting algebras with tense operators
Figallo, Aldo Victorio
HEYTING ALGEBRAS
TENSE OPERATORS
title_short Remarks on Heyting algebras with tense operators
title_full Remarks on Heyting algebras with tense operators
title_fullStr Remarks on Heyting algebras with tense operators
title_full_unstemmed Remarks on Heyting algebras with tense operators
title_sort Remarks on Heyting algebras with tense operators
dc.creator.none.fl_str_mv Figallo, Aldo Victorio
Pelaitay, Gustavo Andrés
author Figallo, Aldo Victorio
author_facet Figallo, Aldo Victorio
Pelaitay, Gustavo Andrés
author_role author
author2 Pelaitay, Gustavo Andrés
author2_role author
dc.subject.none.fl_str_mv HEYTING ALGEBRAS
TENSE OPERATORS
topic HEYTING ALGEBRAS
TENSE OPERATORS
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Figallo, Aldo Victorio. Universidad Nacional de San Juan; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Pelaitay, Gustavo Andrés. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description 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.
publishDate 2012
dc.date.none.fl_str_mv 2012-02
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/211665
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
0138-0680
CONICET Digital
CONICET
url http://hdl.handle.net/11336/211665
identifier_str_mv 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
0138-0680
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.filozof.uni.lodz.pl/bulletin/pdf/41_12_8.pdf
info:eu-repo/semantics/altIdentifier/url/https://czasopisma.uni.lodz.pl/bulletin/issue/archive
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Lodz University Press
publisher.none.fl_str_mv Lodz University Press
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269102255636480
score 13.13397

Publicaciones similares