Banca de DEFESA: EMERSON WENDLINGGER DANTAS SALES

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : EMERSON WENDLINGGER DANTAS SALES
DATA : 27/10/2020
HORA: 15:00
LOCAL: ambiente virtual
TÍTULO:

Modalidades em Sistemas Ecumênicos


PALAVRAS-CHAVES:

lógica modal, lógica ecumênica, lógica intuicionista.


PÁGINAS: 100
RESUMO:
A discussão sobre como reunir os sistemas de Gentzen para lógica clássica e intuicionista em um único sistema unificado está de volta à tona. Recentemente, Prawitz e outros têm discutido os chamados Sistemas Ecumênicos, onde conectivos dessas lógicas podem coexistir em paz. No sistema de Prawitz, o lógico clássico e o lógico intuicionista compartilhariam o quantificador universal, conjunção, negação e a constante para o absurdo, mas cada um teria seu próprio quantificador existencial, disjunção e implicação, com significados diferentes. A ideia principal de Prawitz é que esses diferentes significados são dados por uma estrutura semântica que pode ser aceita por ambas as partes. Em um trabalho recente, um cálculo sequencial ecumênico e um sistema aninhado foram apresentados, e algumas propriedades de teoria da prova muito interessantes dos sistemas foram estabelecidas. Neste trabalho, a noção de verdade na Lógica Ecumênica de Prawitz será estendida, de forma a definir modalidades aléticas ecumênicas.

MEMBROS DA BANCA:
Presidente - 1143603 - ELAINE GOUVEA PIMENTEL
Interno - 1549905 - FAGNER LEMOS DE SANTANA
Externo ao Programa - 2114893 - CARLOS ALBERTO OLARTE VEGA
Externa à Instituição - SONIA MARIN - UCL
Externo à Instituição - LUIZ CARLOS DIAS PINHEIRO PEREIRA - PUC - RJ
Notícia cadastrada em: 20/10/2020 19:38
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa05-producao.info.ufrn.br.sigaa05-producao