Remarks on an algebraic semantics for paraconsistent Nelson's logic

Autores
Busaniche, Manuela; Cignoli, Roberto Leonardo Oscar
Año de publicación
2011
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.
Fil: Busaniche, Manuela. Instituto de Matemática Aplicda del Litoral; Argentina. 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: Cignoli, Roberto Leonardo Oscar. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. 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
Materia
NELSON LOGIC
PARACONSISTENCY
RESIDUATED LATTICES
SUBSTRUCTURAL LOGICS
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/67950
Acceder
id CONICETDig_33819f638e2a4ef14cffec863d348eec
oai_identifier_str oai:ri.conicet.gov.ar:11336/67950
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Remarks on an algebraic semantics for paraconsistent Nelson's logicBusaniche, ManuelaCignoli, Roberto Leonardo OscarNELSON LOGICPARACONSISTENCYRESIDUATED LATTICESSUBSTRUCTURAL LOGICShttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.Fil: Busaniche, Manuela. Instituto de Matemática Aplicda del Litoral; Argentina. 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: Cignoli, Roberto Leonardo Oscar. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. 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; ArgentinaUniversidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência2011-03info: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/67950Busaniche, Manuela; Cignoli, Roberto Leonardo Oscar; Remarks on an algebraic semantics for paraconsistent Nelson's logic; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 34; 1; 3-2011; 99-1140100-6045CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://ref.scielo.org/7yn5zsinfo:eu-repo/semantics/altIdentifier/doi/10.1590/S0100-60452011000100005info: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-11-05T10:07:06Zoai:ri.conicet.gov.ar:11336/67950instacron: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-11-05 10:07:06.712CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Remarks on an algebraic semantics for paraconsistent Nelson's logic
title Remarks on an algebraic semantics for paraconsistent Nelson's logic
spellingShingle Remarks on an algebraic semantics for paraconsistent Nelson's logic
Busaniche, Manuela
NELSON LOGIC
PARACONSISTENCY
RESIDUATED LATTICES
SUBSTRUCTURAL LOGICS
title_short Remarks on an algebraic semantics for paraconsistent Nelson's logic
title_full Remarks on an algebraic semantics for paraconsistent Nelson's logic
title_fullStr Remarks on an algebraic semantics for paraconsistent Nelson's logic
title_full_unstemmed Remarks on an algebraic semantics for paraconsistent Nelson's logic
title_sort Remarks on an algebraic semantics for paraconsistent Nelson's logic
dc.creator.none.fl_str_mv Busaniche, Manuela
Cignoli, Roberto Leonardo Oscar
author Busaniche, Manuela
author_facet Busaniche, Manuela
Cignoli, Roberto Leonardo Oscar
author_role author
author2 Cignoli, Roberto Leonardo Oscar
author2_role author
dc.subject.none.fl_str_mv NELSON LOGIC
PARACONSISTENCY
RESIDUATED LATTICES
SUBSTRUCTURAL LOGICS
topic NELSON LOGIC
PARACONSISTENCY
RESIDUATED LATTICES
SUBSTRUCTURAL LOGICS
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.
Fil: Busaniche, Manuela. Instituto de Matemática Aplicda del Litoral; Argentina. 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: Cignoli, Roberto Leonardo Oscar. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. 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
description In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.
publishDate 2011
dc.date.none.fl_str_mv 2011-03
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/67950
Busaniche, Manuela; Cignoli, Roberto Leonardo Oscar; Remarks on an algebraic semantics for paraconsistent Nelson's logic; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 34; 1; 3-2011; 99-114
0100-6045
CONICET Digital
CONICET
url http://hdl.handle.net/11336/67950
identifier_str_mv Busaniche, Manuela; Cignoli, Roberto Leonardo Oscar; Remarks on an algebraic semantics for paraconsistent Nelson's logic; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 34; 1; 3-2011; 99-114
0100-6045
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://ref.scielo.org/7yn5zs
info:eu-repo/semantics/altIdentifier/doi/10.1590/S0100-60452011000100005
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 Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência
publisher.none.fl_str_mv Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência
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_ 1847977570678603776
score 13.087074

Publicaciones similares