Banca de QUALIFICAÇÃO: THIAGO NASCIMENTO DA SILVA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : THIAGO NASCIMENTO DA SILVA
DATA : 14/09/2017
HORA: 14:00
LOCAL: DIMAp / Auditório 1
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; Lógica Construtiva; Semântica


PÁGINAS: 50
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". Neste 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.

Nós tomamos o fragmento proposicional de S, mostrando que é algebrizável (de fato, implicativa) no sentido de Blok & Pigozzi com respeito à classe de reticulados residuados involutivos. Assim, fornecemos a primeira semântica conhecida para S, bem como um cálculo estilo Hilbert equivalente à apresentação de Nelson. 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
Externo à Instituição - MARCO CERAMI - UFBA
Presidente - 2251108 - UMBERTO RIVIECCIO
Notícia cadastrada em: 11/09/2017 08:06
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa12-producao.info.ufrn.br.sigaa12-producao