Banca de DEFESA: THIAGO NASCIMENTO DA SILVA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : THIAGO NASCIMENTO DA SILVA
DATA : 25/01/2018
HORA: 14:00
LOCAL: Auditório I - DIMAp
TÍTULO:

A lógica S de Nelson e sua semântica algébrica


PALAVRAS-CHAVES:

Lógica. Lógica algébrica. Lógica de Nelson S. Lógica Construtivista.

Semântica algébrica.


PÁGINAS: 75
RESUMO:

Além da mais conhecida lógica de Nelson (N3) e da lógica paraconsistente de Nelson

(N4), 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 "S". 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 S, 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 S, bem

como um cálculo estilo Hilbert finito equivalente à apresentação de Nelson. Fornecemos um algoritmo que permite construir S-algebras a partir de S-algebras ou reticulados implicativos e usando essa construção mostramos que as fórmulas que Nelson diz que S não pode provar, de fato não podem ser provadas.  Nós também

comparamos S com outras lógicas da família de Nelson, a saber, N3 e N4.


MEMBROS DA BANCA:
Interno - 1517271 - JOAO MARCOS DE ALMEIDA
Interno - 2251108 - UMBERTO RIVIECCIO
Externo à Instituição - HUGO LUIZ MARIANO - USP
Notícia cadastrada em: 06/12/2017 08:38
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa05-producao.info.ufrn.br.sigaa05-producao