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ênico


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:
Externo à Instituição - ESPERANDO MEMBRO EXTERNO - CPF INEXISTENTE
Externo ao Programa - 2114893 - CARLOS ALBERTO OLARTE VEGA
Presidente - 1143603 - ELAINE GOUVEA PIMENTEL
Interno - 1549905 - FAGNER LEMOS DE SANTANA
Notícia cadastrada em: 04/10/2020 12:06
SIGAA | Superintendência de Tecnologia da Informação - | | Copyright © 2006-2023 - UFRN - sigaa06-producao.info.ufrn.br.sigaa06-producao