An alternative axiomatic presentation of Nelson algebras

Autores
Cornejo, Juan Manuel; Gallardo, Andrés; Monteiro, Luiz Fernando; Viglizzo, Ignacio Dario
Año de publicación
2023
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Nelson algebras were defined in 1967 by D. Brignole and A. Monteiro in terms of the language ⟨∧,∨,→,∼,1⟩. In 1962, D. Brignole solved the problem, proposed by A. Monteiro, of giving an axiomatization of Nelson algebras in terms of the connectives ↣, ∧ and the constant 0 = ∼1, where the operation ↣ is defined by x ↣ y = (x → y)∧ (∼y → ∼x). In this work we present for the first time a complete proof of this fact, and also show the dependence and independence of some of the axioms proposed by Brignole.
Fil: Cornejo, Juan Manuel. 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
Fil: Gallardo, Andrés. 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
Fil: Monteiro, Luiz Fernando. 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
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
Materia
NELSON ALGEBRAS
AXIOMATIC PRESENTATION
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/232884
Acceder
id CONICETDig_b4a0187b6adde3fff5c833a276aa1fb1
oai_identifier_str oai:ri.conicet.gov.ar:11336/232884
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling An alternative axiomatic presentation of Nelson algebrasCornejo, Juan ManuelGallardo, AndrésMonteiro, Luiz FernandoViglizzo, Ignacio DarioNELSON ALGEBRASAXIOMATIC PRESENTATIONhttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1Nelson algebras were defined in 1967 by D. Brignole and A. Monteiro in terms of the language ⟨∧,∨,→,∼,1⟩. In 1962, D. Brignole solved the problem, proposed by A. Monteiro, of giving an axiomatization of Nelson algebras in terms of the connectives ↣, ∧ and the constant 0 = ∼1, where the operation ↣ is defined by x ↣ y = (x → y)∧ (∼y → ∼x). In this work we present for the first time a complete proof of this fact, and also show the dependence and independence of some of the axioms proposed by Brignole.Fil: Cornejo, Juan Manuel. 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; ArgentinaFil: Gallardo, Andrés. 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; ArgentinaFil: Monteiro, Luiz Fernando. 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; 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; ArgentinaInstituto de Mátematica. Universidad Nacional del Sur2023-08-01info: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/232884Cornejo, Juan Manuel; Gallardo, Andrés; Monteiro, Luiz Fernando; Viglizzo, Ignacio Dario; An alternative axiomatic presentation of Nelson algebras; Instituto de Mátematica. Universidad Nacional del Sur; Actas del Congreso Monteiro; 16; 1-8-2023; 129-1470327-9170CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://inmabb.conicet.gob.ar/static/publicaciones/actas/16/cm2021a05.pdfinfo: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-03T10:03:05Zoai:ri.conicet.gov.ar:11336/232884instacron: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 10:03:06.349CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv An alternative axiomatic presentation of Nelson algebras
title An alternative axiomatic presentation of Nelson algebras
spellingShingle An alternative axiomatic presentation of Nelson algebras
Cornejo, Juan Manuel
NELSON ALGEBRAS
AXIOMATIC PRESENTATION
title_short An alternative axiomatic presentation of Nelson algebras
title_full An alternative axiomatic presentation of Nelson algebras
title_fullStr An alternative axiomatic presentation of Nelson algebras
title_full_unstemmed An alternative axiomatic presentation of Nelson algebras
title_sort An alternative axiomatic presentation of Nelson algebras
dc.creator.none.fl_str_mv Cornejo, Juan Manuel
Gallardo, Andrés
Monteiro, Luiz Fernando
Viglizzo, Ignacio Dario
author Cornejo, Juan Manuel
author_facet Cornejo, Juan Manuel
Gallardo, Andrés
Monteiro, Luiz Fernando
Viglizzo, Ignacio Dario
author_role author
author2 Gallardo, Andrés
Monteiro, Luiz Fernando
Viglizzo, Ignacio Dario
author2_role author
author
author
dc.subject.none.fl_str_mv NELSON ALGEBRAS
AXIOMATIC PRESENTATION
topic NELSON ALGEBRAS
AXIOMATIC PRESENTATION
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Nelson algebras were defined in 1967 by D. Brignole and A. Monteiro in terms of the language ⟨∧,∨,→,∼,1⟩. In 1962, D. Brignole solved the problem, proposed by A. Monteiro, of giving an axiomatization of Nelson algebras in terms of the connectives ↣, ∧ and the constant 0 = ∼1, where the operation ↣ is defined by x ↣ y = (x → y)∧ (∼y → ∼x). In this work we present for the first time a complete proof of this fact, and also show the dependence and independence of some of the axioms proposed by Brignole.
Fil: Cornejo, Juan Manuel. 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
Fil: Gallardo, Andrés. 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
Fil: Monteiro, Luiz Fernando. 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
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
description Nelson algebras were defined in 1967 by D. Brignole and A. Monteiro in terms of the language ⟨∧,∨,→,∼,1⟩. In 1962, D. Brignole solved the problem, proposed by A. Monteiro, of giving an axiomatization of Nelson algebras in terms of the connectives ↣, ∧ and the constant 0 = ∼1, where the operation ↣ is defined by x ↣ y = (x → y)∧ (∼y → ∼x). In this work we present for the first time a complete proof of this fact, and also show the dependence and independence of some of the axioms proposed by Brignole.
publishDate 2023
dc.date.none.fl_str_mv 2023-08-01
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/232884
Cornejo, Juan Manuel; Gallardo, Andrés; Monteiro, Luiz Fernando; Viglizzo, Ignacio Dario; An alternative axiomatic presentation of Nelson algebras; Instituto de Mátematica. Universidad Nacional del Sur; Actas del Congreso Monteiro; 16; 1-8-2023; 129-147
0327-9170
CONICET Digital
CONICET
url http://hdl.handle.net/11336/232884
identifier_str_mv Cornejo, Juan Manuel; Gallardo, Andrés; Monteiro, Luiz Fernando; Viglizzo, Ignacio Dario; An alternative axiomatic presentation of Nelson algebras; Instituto de Mátematica. Universidad Nacional del Sur; Actas del Congreso Monteiro; 16; 1-8-2023; 129-147
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/https://inmabb.conicet.gob.ar/static/publicaciones/actas/16/cm2021a05.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.publisher.none.fl_str_mv Instituto de Mátematica. Universidad Nacional del Sur
publisher.none.fl_str_mv Instituto de Mátematica. Universidad Nacional del Sur
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_ 1842269782222569472
score 13.13397

Publicaciones similares