On the relation of negations in Nelson algebras

Autores
Gomez, Conrado Javier; Marcos, Miguel; San Martín, Hernán Javier
Año de publicación
2021
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
The aim of this paper is to investigate the relation between the strong and the “weak” or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman’s construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.
Fil: Gomez, Conrado Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina
Fil: Marcos, Miguel. Universidad Nacional del Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentina
Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
KLEENE ALGEBRAS
NEGATIONS
PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
 NELSON 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/167870
Acceder
id CONICETDig_3732513cd6ee3c1b4046e420ffb75f90
oai_identifier_str oai:ri.conicet.gov.ar:11336/167870
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling On the relation of negations in Nelson algebrasGomez, Conrado JavierMarcos, MiguelSan Martín, Hernán JavierKLEENE ALGEBRASNEGATIONSPSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICESÂ NELSON ALGEBRAShttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1The aim of this paper is to investigate the relation between the strong and the “weak” or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman’s construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.Fil: Gomez, Conrado Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; ArgentinaFil: Marcos, Miguel. Universidad Nacional del Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaJagiellonian University Press2021-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/167870Gomez, Conrado Javier; Marcos, Miguel; San Martín, Hernán Javier; On the relation of negations in Nelson algebras; Jagiellonian University Press; Reports on Mathematical Logic; 56; 11-2021; 15-560137-29042084-2589CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.4467/20842589RM.21.002.14374info:eu-repo/semantics/altIdentifier/url/https://www.ejournals.eu/rml/2021/Number-56/art/20105/info: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:53:28Zoai:ri.conicet.gov.ar:11336/167870instacron: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:53:29.154CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv On the relation of negations in Nelson algebras
title On the relation of negations in Nelson algebras
spellingShingle On the relation of negations in Nelson algebras
Gomez, Conrado Javier
KLEENE ALGEBRAS
NEGATIONS
PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
 NELSON ALGEBRAS
title_short On the relation of negations in Nelson algebras
title_full On the relation of negations in Nelson algebras
title_fullStr On the relation of negations in Nelson algebras
title_full_unstemmed On the relation of negations in Nelson algebras
title_sort On the relation of negations in Nelson algebras
dc.creator.none.fl_str_mv Gomez, Conrado Javier
Marcos, Miguel
San Martín, Hernán Javier
author Gomez, Conrado Javier
author_facet Gomez, Conrado Javier
Marcos, Miguel
San Martín, Hernán Javier
author_role author
author2 Marcos, Miguel
San Martín, Hernán Javier
author2_role author
author
dc.subject.none.fl_str_mv KLEENE ALGEBRAS
NEGATIONS
PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
 NELSON ALGEBRAS
topic KLEENE ALGEBRAS
NEGATIONS
PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
 NELSON 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 aim of this paper is to investigate the relation between the strong and the “weak” or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman’s construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.
Fil: Gomez, Conrado Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina
Fil: Marcos, Miguel. Universidad Nacional del Litoral; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentina
Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description The aim of this paper is to investigate the relation between the strong and the “weak” or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman’s construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.
publishDate 2021
dc.date.none.fl_str_mv 2021-11
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/167870
Gomez, Conrado Javier; Marcos, Miguel; San Martín, Hernán Javier; On the relation of negations in Nelson algebras; Jagiellonian University Press; Reports on Mathematical Logic; 56; 11-2021; 15-56
0137-2904
2084-2589
CONICET Digital
CONICET
url http://hdl.handle.net/11336/167870
identifier_str_mv Gomez, Conrado Javier; Marcos, Miguel; San Martín, Hernán Javier; On the relation of negations in Nelson algebras; Jagiellonian University Press; Reports on Mathematical Logic; 56; 11-2021; 15-56
0137-2904
2084-2589
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.4467/20842589RM.21.002.14374
info:eu-repo/semantics/altIdentifier/url/https://www.ejournals.eu/rml/2021/Number-56/art/20105/
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.publisher.none.fl_str_mv Jagiellonian University Press
publisher.none.fl_str_mv Jagiellonian 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_ 1842269228357386240
score 13.13397

Publicaciones similares