Remarks on an algebraic semantics for paraconsistent Nelson's logic

Detalhes bibliográficos
Autor(a) principal: Busaniche,Manuela
Data de Publicação: 2011
Outros Autores: Cignoli,Roberto
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Manuscrito (Online)
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100005
Resumo: 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.
id UNICAMP-17_6fc31797c642e7add689342ef0affdb4
oai_identifier_str oai:scielo:S0100-60452011000100005
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling Remarks on an algebraic semantics for paraconsistent Nelson's logicNelson logicParaconsistencyResiduated LatticesSubstructural LogicTwist StructuresIn 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.UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência2011-06-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100005Manuscrito v.34 n.1 2011reponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP10.1590/S0100-60452011000100005info:eu-repo/semantics/openAccessBusaniche,ManuelaCignoli,Robertoeng2012-07-31T00:00:00Zoai:scielo:S0100-60452011000100005Revistahttp://www.scielo.br/scielo.php?script=sci_serial&pid=0100-6045&lng=pt&nrm=isoPUBhttps://old.scielo.br/oai/scielo-oai.phpmwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2012-07-31T00:00Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
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 Logic
Twist Structures
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
author Busaniche,Manuela
author_facet Busaniche,Manuela
Cignoli,Roberto
author_role author
author2 Cignoli,Roberto
author2_role author
dc.contributor.author.fl_str_mv Busaniche,Manuela
Cignoli,Roberto
dc.subject.por.fl_str_mv Nelson logic
Paraconsistency
Residuated Lattices
Substructural Logic
Twist Structures
topic Nelson logic
Paraconsistency
Residuated Lattices
Substructural Logic
Twist Structures
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-06-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100005
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100005
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1590/S0100-60452011000100005
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
dc.source.none.fl_str_mv Manuscrito v.34 n.1 2011
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1748950064857874432

Registros relacionados