REMARKS ON AN ALGEBRAIC SEMANTICS FOR PARACONSISTENT NELSON’S LOGIC

Detalhes bibliográficos
Autor(a) principal: Busaniche, Manuela
Data de Publicação: 2015
Outros Autores: Cignoli, Roberto
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642012
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_4655abd9a701f1af313139e51ab73295
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8642012
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling REMARKS ON AN ALGEBRAIC SEMANTICS FOR PARACONSISTENT NELSON’S LOGICNelson logic. Paraconsistency. Residuated Lattices. Substructural Logic. Twist Structures.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.Universidade Estadual de Campinas2015-11-29info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642012Manuscrito: Revista Internacional de Filosofia; v. 34 n. 1 (2011): Jan./Jun.; 99-114Manuscrito: International Journal of Philosophy; Vol. 34 No. 1 (2011): Jan./Jun.; 99-114Manuscrito: Revista Internacional de Filosofía; Vol. 34 Núm. 1 (2011): Jan./Jun.; 99-1142317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642012/9503Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessBusaniche, ManuelaCignoli, Roberto2015-11-29T22:59:43Zoai:ojs.periodicos.sbu.unicamp.br:article/8642012Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2015-11-29T22:59:43Manuscrito (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 2015
dc.date.none.fl_str_mv 2015-11-29
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642012
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642012
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642012/9503
dc.rights.driver.fl_str_mv Copyright (c) 2015 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 34 n. 1 (2011): Jan./Jun.; 99-114
Manuscrito: International Journal of Philosophy; Vol. 34 No. 1 (2011): Jan./Jun.; 99-114
Manuscrito: Revista Internacional de Filosofía; Vol. 34 Núm. 1 (2011): Jan./Jun.; 99-114
2317-630X
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_ 1800216565287747584

Registros relacionados