Algebraic semantics for Nelson’s logic S

Detalhes bibliográficos
Autor(a) principal: Silva, Thiago Nascimento da
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFRN
Texto Completo: https://repositorio.ufrn.br/jspui/handle/123456789/24823
Resumo: Além da mais conhecida lógica de Nelson (3) e da lógica paraconsistente de Nelson (4), David Nelson introduziu no artigo de 1959 "Negation and separation of concepts in constructive systems", com motivações de aritmética e construtividade, a lógica que ele chamou de "". Naquele trabalho, a lógica é definida por meio de um cálculo (que carece crucialmente da regra de contração) tendo infinitos esquemas de regras, e nenhuma semântica é fornecida. Neste trabalho nós tomamos o fragmento proposicional de , mostrando que ele é algebrizável (de fato, implicativo) no sentido de Blok & Pigozzi com respeito a uma classe de reticulados residuados involutivos. Assim, fornecemos a primeira semântica para (que chamamos de -álgebras), bem como um cálculo estilo Hilbert finito equivalente à apresentação de Nelson. Fornecemos um algoritmo para construir -álgebras a partir de -álgebras ou reticulados implicativos e demonstramos alguns resultados sobre a classe de álgebras que introduzimos. Nós também comparamos com outras lógicas da família de Nelson, a saber, 3 e 4.
id UFRN_3d477dccacb42620e3feaebd6c466a3e
oai_identifier_str oai:https://repositorio.ufrn.br:123456789/24823
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Silva, Thiago Nascimento daAlmeida, João Marcos deMariano, Hugo LuizRivieccio, Umberto2018-03-13T18:55:45Z2018-03-13T18:55:45Z2018-01-25SILVA, Thiago Nascimento da. Algebraic semantics for Nelson’s logic S. 2018. 65f. Dissertação (Mestrado em Sistemas e Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2018.https://repositorio.ufrn.br/jspui/handle/123456789/24823Além da mais conhecida lógica de Nelson (3) e da lógica paraconsistente de Nelson (4), David Nelson introduziu no artigo de 1959 "Negation and separation of concepts in constructive systems", com motivações de aritmética e construtividade, a lógica que ele chamou de "". Naquele trabalho, a lógica é definida por meio de um cálculo (que carece crucialmente da regra de contração) tendo infinitos esquemas de regras, e nenhuma semântica é fornecida. Neste trabalho nós tomamos o fragmento proposicional de , mostrando que ele é algebrizável (de fato, implicativo) no sentido de Blok & Pigozzi com respeito a uma classe de reticulados residuados involutivos. Assim, fornecemos a primeira semântica para (que chamamos de -álgebras), bem como um cálculo estilo Hilbert finito equivalente à apresentação de Nelson. Fornecemos um algoritmo para construir -álgebras a partir de -álgebras ou reticulados implicativos e demonstramos alguns resultados sobre a classe de álgebras que introduzimos. Nós também comparamos com outras lógicas da família de Nelson, a saber, 3 e 4.Besides the better-known Nelson logic (3) and paraconsistent Nelson logic (4), in Negation and separation of concepts in constructive systems (1959) David Nelson introduced a logic that he called , with motivations of arithmetic and constructibility. The logic was defined by means of a calculus (crucially lacking the contraction rule) having infinitely many rule schemata, and no semantics was provided for it. We look in the present dissertation at the propositional fragment of , showing that it is algebraizable (in fact, implicative) in the sense of Blok and Pigozzi with respect to a class of involutive residuated lattices. We thus provide the first known algebraic semantics for (we call them of -algebras) as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation. We provide an algorithm to make -algebras from -algebras or implicative lattices and we prove some results about the class of algebras which we have introduced. We also compare with other logics of the Nelson family, that is, 3 and 4.porCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOLógicaLógicas de NelsonLógicas construtivistasNegação forteLógica de Nelson paraconsistenteLógicas subestruturaisReticulados residuados trêspotenteLógica algébricaAlgebraic semantics for Nelson’s logic Sinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃOUFRNBrasilinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNTEXTThiagoNascimentoDaSilva_DISSERT.pdf.txtThiagoNascimentoDaSilva_DISSERT.pdf.txtExtracted texttext/plain87806https://repositorio.ufrn.br/bitstream/123456789/24823/2/ThiagoNascimentoDaSilva_DISSERT.pdf.txte3ce9e19f6ad84d65de7c175b397f14fMD52THUMBNAILThiagoNascimentoDaSilva_DISSERT.pdf.jpgThiagoNascimentoDaSilva_DISSERT.pdf.jpgIM Thumbnailimage/jpeg1324https://repositorio.ufrn.br/bitstream/123456789/24823/3/ThiagoNascimentoDaSilva_DISSERT.pdf.jpg1008f44f653e295ac31e12c2883ab1c3MD53TEXTThiagoNascimentoDaSilva_DISSERT.pdf.txtThiagoNascimentoDaSilva_DISSERT.pdf.txtExtracted texttext/plain87806https://repositorio.ufrn.br/bitstream/123456789/24823/2/ThiagoNascimentoDaSilva_DISSERT.pdf.txte3ce9e19f6ad84d65de7c175b397f14fMD52THUMBNAILThiagoNascimentoDaSilva_DISSERT.pdf.jpgThiagoNascimentoDaSilva_DISSERT.pdf.jpgIM Thumbnailimage/jpeg1324https://repositorio.ufrn.br/bitstream/123456789/24823/3/ThiagoNascimentoDaSilva_DISSERT.pdf.jpg1008f44f653e295ac31e12c2883ab1c3MD53ORIGINALThiagoNascimentoDaSilva_DISSERT.pdfThiagoNascimentoDaSilva_DISSERT.pdfapplication/pdf674168https://repositorio.ufrn.br/bitstream/123456789/24823/1/ThiagoNascimentoDaSilva_DISSERT.pdfabc6ed9af43a00850770d906ea901556MD51123456789/248232019-01-30 15:49:09.087oai:https://repositorio.ufrn.br:123456789/24823Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2019-01-30T18:49:09Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.pt_BR.fl_str_mv Algebraic semantics for Nelson’s logic S
title Algebraic semantics for Nelson’s logic S
spellingShingle Algebraic semantics for Nelson’s logic S
Silva, Thiago Nascimento da
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Lógica
Lógicas de Nelson
Lógicas construtivistas
Negação forte
Lógica de Nelson paraconsistente
Lógicas subestruturais
Reticulados residuados trêspotente
Lógica algébrica
title_short Algebraic semantics for Nelson’s logic S
title_full Algebraic semantics for Nelson’s logic S
title_fullStr Algebraic semantics for Nelson’s logic S
title_full_unstemmed Algebraic semantics for Nelson’s logic S
title_sort Algebraic semantics for Nelson’s logic S
author Silva, Thiago Nascimento da
author_facet Silva, Thiago Nascimento da
author_role author
dc.contributor.authorID.pt_BR.fl_str_mv
dc.contributor.advisorID.pt_BR.fl_str_mv
dc.contributor.advisor-co1ID.pt_BR.fl_str_mv
dc.contributor.referees1.none.fl_str_mv Mariano, Hugo Luiz
dc.contributor.referees1ID.pt_BR.fl_str_mv
dc.contributor.author.fl_str_mv Silva, Thiago Nascimento da
dc.contributor.advisor-co1.fl_str_mv Almeida, João Marcos de
dc.contributor.advisor1.fl_str_mv Rivieccio, Umberto
contributor_str_mv Almeida, João Marcos de
Rivieccio, Umberto
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Lógica
Lógicas de Nelson
Lógicas construtivistas
Negação forte
Lógica de Nelson paraconsistente
Lógicas subestruturais
Reticulados residuados trêspotente
Lógica algébrica
dc.subject.por.fl_str_mv Lógica
Lógicas de Nelson
Lógicas construtivistas
Negação forte
Lógica de Nelson paraconsistente
Lógicas subestruturais
Reticulados residuados trêspotente
Lógica algébrica
description Além da mais conhecida lógica de Nelson (3) e da lógica paraconsistente de Nelson (4), David Nelson introduziu no artigo de 1959 "Negation and separation of concepts in constructive systems", com motivações de aritmética e construtividade, a lógica que ele chamou de "". Naquele trabalho, a lógica é definida por meio de um cálculo (que carece crucialmente da regra de contração) tendo infinitos esquemas de regras, e nenhuma semântica é fornecida. Neste trabalho nós tomamos o fragmento proposicional de , mostrando que ele é algebrizável (de fato, implicativo) no sentido de Blok & Pigozzi com respeito a uma classe de reticulados residuados involutivos. Assim, fornecemos a primeira semântica para (que chamamos de -álgebras), bem como um cálculo estilo Hilbert finito equivalente à apresentação de Nelson. Fornecemos um algoritmo para construir -álgebras a partir de -álgebras ou reticulados implicativos e demonstramos alguns resultados sobre a classe de álgebras que introduzimos. Nós também comparamos com outras lógicas da família de Nelson, a saber, 3 e 4.
publishDate 2018
dc.date.accessioned.fl_str_mv 2018-03-13T18:55:45Z
dc.date.available.fl_str_mv 2018-03-13T18:55:45Z
dc.date.issued.fl_str_mv 2018-01-25
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SILVA, Thiago Nascimento da. Algebraic semantics for Nelson’s logic S. 2018. 65f. Dissertação (Mestrado em Sistemas e Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2018.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/jspui/handle/123456789/24823
identifier_str_mv SILVA, Thiago Nascimento da. Algebraic semantics for Nelson’s logic S. 2018. 65f. Dissertação (Mestrado em Sistemas e Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2018.
url https://repositorio.ufrn.br/jspui/handle/123456789/24823
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.program.fl_str_mv PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv Brasil
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
bitstream.url.fl_str_mv https://repositorio.ufrn.br/bitstream/123456789/24823/2/ThiagoNascimentoDaSilva_DISSERT.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/24823/3/ThiagoNascimentoDaSilva_DISSERT.pdf.jpg
https://repositorio.ufrn.br/bitstream/123456789/24823/2/ThiagoNascimentoDaSilva_DISSERT.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/24823/3/ThiagoNascimentoDaSilva_DISSERT.pdf.jpg
https://repositorio.ufrn.br/bitstream/123456789/24823/1/ThiagoNascimentoDaSilva_DISSERT.pdf
bitstream.checksum.fl_str_mv e3ce9e19f6ad84d65de7c175b397f14f
1008f44f653e295ac31e12c2883ab1c3
e3ce9e19f6ad84d65de7c175b397f14f
1008f44f653e295ac31e12c2883ab1c3
abc6ed9af43a00850770d906ea901556
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv
_version_ 1802117703557709824

Registros relacionados