Construction of Nelson Algebras

Autores
Monteiro, Luiz F.; Viglizzo, Ignacio Dario
Año de publicación
2019
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morgan algebras from distributive lattices. Necessary and sufficient conditions for these De Morgan algebras to be Nelson algebras are shown, and a characterization of the join-irreducible elements in the finite case is given.
Fil: Monteiro, Luiz F.. Universidad Nacional del Sur; Argentina
Fil: Viglizzo, Ignacio Dario. 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
XIV Congreso Dr. Antonio A. R. Monteiro
Bahía Blanca
Argentina
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
Materia
NELSON ALGEBRAS
HEYTING ALGEBRAS
DISTRIBUTIVE LATTICES
DE MORGAN ALGEBRAS
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/131368

id CONICETDig_4cf4f139b0185fff4e291b7c70ee38ca
oai_identifier_str oai:ri.conicet.gov.ar:11336/131368
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Construction of Nelson AlgebrasMonteiro, Luiz F.Viglizzo, Ignacio DarioNELSON ALGEBRASHEYTING ALGEBRASDISTRIBUTIVE LATTICESDE MORGAN ALGEBRAShttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morgan algebras from distributive lattices. Necessary and sufficient conditions for these De Morgan algebras to be Nelson algebras are shown, and a characterization of the join-irreducible elements in the finite case is given.Fil: Monteiro, Luiz F.. Universidad Nacional del Sur; ArgentinaFil: Viglizzo, Ignacio Dario. 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; ArgentinaXIV Congreso Dr. Antonio A. R. MonteiroBahía BlancaArgentinaUniversidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía BlancaUniversidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca2019info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjectCongresoJournalhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/131368Construction of Nelson Algebras; XIV Congreso Dr. Antonio A. R. Monteiro; Bahía Blanca; Argentina; 2017; 63-710327-9170CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://inmabb.conicet.gob.ar/publicaciones/actas-del-congreso-monteiro/14info:eu-repo/semantics/altIdentifier/url/http://inmabb.conicet.gob.ar/static/publicaciones/actas/14/10-monteiro-viglizzo.pdfNacionalinfo: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:55:13Zoai:ri.conicet.gov.ar:11336/131368instacron: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:55:14.219CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Construction of Nelson Algebras
title Construction of Nelson Algebras
spellingShingle Construction of Nelson Algebras
Monteiro, Luiz F.
NELSON ALGEBRAS
HEYTING ALGEBRAS
DISTRIBUTIVE LATTICES
DE MORGAN ALGEBRAS
title_short Construction of Nelson Algebras
title_full Construction of Nelson Algebras
title_fullStr Construction of Nelson Algebras
title_full_unstemmed Construction of Nelson Algebras
title_sort Construction of Nelson Algebras
dc.creator.none.fl_str_mv Monteiro, Luiz F.
Viglizzo, Ignacio Dario
author Monteiro, Luiz F.
author_facet Monteiro, Luiz F.
Viglizzo, Ignacio Dario
author_role author
author2 Viglizzo, Ignacio Dario
author2_role author
dc.subject.none.fl_str_mv NELSON ALGEBRAS
HEYTING ALGEBRAS
DISTRIBUTIVE LATTICES
DE MORGAN ALGEBRAS
topic NELSON ALGEBRAS
HEYTING ALGEBRAS
DISTRIBUTIVE LATTICES
DE MORGAN ALGEBRAS
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 Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morgan algebras from distributive lattices. Necessary and sufficient conditions for these De Morgan algebras to be Nelson algebras are shown, and a characterization of the join-irreducible elements in the finite case is given.
Fil: Monteiro, Luiz F.. Universidad Nacional del Sur; Argentina
Fil: Viglizzo, Ignacio Dario. 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
XIV Congreso Dr. Antonio A. R. Monteiro
Bahía Blanca
Argentina
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
description The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morgan algebras from distributive lattices. Necessary and sufficient conditions for these De Morgan algebras to be Nelson algebras are shown, and a characterization of the join-irreducible elements in the finite case is given.
publishDate 2019
dc.date.none.fl_str_mv 2019
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
Congreso
Journal
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
status_str publishedVersion
format conferenceObject
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/131368
Construction of Nelson Algebras; XIV Congreso Dr. Antonio A. R. Monteiro; Bahía Blanca; Argentina; 2017; 63-71
0327-9170
CONICET Digital
CONICET
url http://hdl.handle.net/11336/131368
identifier_str_mv Construction of Nelson Algebras; XIV Congreso Dr. Antonio A. R. Monteiro; Bahía Blanca; Argentina; 2017; 63-71
0327-9170
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://inmabb.conicet.gob.ar/publicaciones/actas-del-congreso-monteiro/14
info:eu-repo/semantics/altIdentifier/url/http://inmabb.conicet.gob.ar/static/publicaciones/actas/14/10-monteiro-viglizzo.pdf
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
dc.coverage.none.fl_str_mv Nacional
dc.publisher.none.fl_str_mv Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
publisher.none.fl_str_mv Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
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_ 1842269332469448704
score 13.13397