Mostrar el registro sencillo del ítem
dc.contributor.author
Figallo, Aldo Victorio
dc.contributor.author
Pelaitay, Gustavo Andrés
dc.date.available
2023-09-15T14:38:41Z
dc.date.issued
2012-02
dc.identifier.citation
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
dc.identifier.issn
0138-0680
dc.identifier.uri
http://hdl.handle.net/11336/211665
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Lodz University Press
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
HEYTING ALGEBRAS
dc.subject
TENSE OPERATORS
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Remarks on Heyting algebras with tense operators
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2023-04-20T12:39:07Z
dc.journal.volume
41
dc.journal.number
1-2
dc.journal.pagination
71-74
dc.journal.pais
Polonia
dc.description.fil
Fil: Figallo, Aldo Victorio. Universidad Nacional de San Juan; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: Pelaitay, Gustavo Andrés. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.journal.title
Bulletin Of The Section Of Logic
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://www.filozof.uni.lodz.pl/bulletin/pdf/41_12_8.pdf
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://czasopisma.uni.lodz.pl/bulletin/issue/archive
Archivos asociados