Remarks on Heyting algebras with tense operators

Volver a la Vista simple
dc.conicet.fuenteunificacion
dc.conicet.organizacionUniversidad Nacional de San Juan
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversidad Nacional del Sur. Departamento de Matemática
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid5402926
dc.contributor.authorFigallo, Aldo Victorio
dc.contributor.authorPelaitay, Gustavo Andrés
dc.date.accessioned2023-09-15T14:38:41Z
dc.date.available2023-09-15T14:38:41Z
dc.date.issued2012-02
dc.date.updated2023-04-20T12:39:07Z
dc.description.abstractThe 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.es
dc.description.filFil: Figallo, Aldo Victorio. Universidad Nacional de San Juan; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.filFil: Pelaitay, Gustavo Andrés. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.formatapplication/pdfes
dc.identifier.citationFigallo, 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-74es
dc.identifier.institucionalCONICET
dc.identifier.issn0138-0680es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/211665
dc.journal.number1-2es
dc.journal.pagination71-74es
dc.journal.paisPoloniaes
dc.journal.titleBulletin Of The Section Of Logices
dc.journal.volume41es
dc.language.isoenges
dc.publisherLodz University Presses
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/http://www.filozof.uni.lodz.pl/bulletin/pdf/41_12_8.pdf
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://czasopisma.uni.lodz.pl/bulletin/issue/archive
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectHEYTING ALGEBRASes
dc.subjectTENSE OPERATORSes
dc.subject.classificationMatemática Puraes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleRemarks on Heyting algebras with tense operatorses
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.46462ac6-47e1-489f-8a91-dc518abfd2ad_B.pdf
Tamaño:
215.84 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(CCT - SAN JUAN)
Volver a la Vista simple