A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras

Volver a la Vista simple
dc.conicet.fuenteunificacion
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. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid8072827
dc.contributor.authorCornejo, Juan Manuel
dc.contributor.authorSan Martín, Hernán Javier
dc.date.accessioned2019-09-19T21:27:07Z
dc.date.available2019-09-19T21:27:07Z
dc.date.issued2018-08
dc.date.updated2019-09-12T17:54:55Z
dc.description.abstractMotivated by a construction due to R. Cignoli that relates Heyting algebras and centered Nelson algebras, in this paper we prove that there exists an equivalence between the category of semi-Heyting algebras and the category of centered semi- Nelson algebras.es
dc.description.filFil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur. Departamento de Matemática; Argentina
dc.description.filFil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina
dc.formatapplication/pdfes
dc.identifier.citationCornejo, Juan Manuel; San Martín, Hernán Javier; A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras; Oxford University Press; Logic Journal of the IGPL (online); 26; 4; 8-2018; 408-428es
dc.identifier.eissn1368-9894es
dc.identifier.institucionalCONICET
dc.identifier.issn1367-0751es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/83945
dc.journal.ciudadOxfordes
dc.journal.number4es
dc.journal.pagination408-428es
dc.journal.paisReino Unidoes
dc.journal.titleLogic Journal of the IGPL (online)es
dc.journal.volume26es
dc.language.isoenges
dc.publisherOxford University Presses
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/26/4/408/4965772
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1093/jigpal/jzy006
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectCongruenceses
dc.subjectDualityes
dc.subjectSemi-Heyting Algebrases
dc.subjectSemi-Nelson Algebrases
dc.subject.classificationMatemática Puraes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleA categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebrases
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.80d01a8d-ad56-4b91-9069-da892e47de09_A.pdf
Tamaño:
322.06 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(CCT - LA PLATA)
Articulos(INMABB)
Volver a la Vista simple