Banca de QUALIFICAÇÃO: FELIPE HENRIQUE ALVES MAGALHAES

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE : FELIPE HENRIQUE ALVES MAGALHAES
DATA : 18/04/2024
HORA: 14:30
LOCAL: a definir
TÍTULO:

Lógica da Suficiência

PALAVRAS-CHAVES:

Lógica da Suficiência, Lógica Modal, Lógica, Mundos Possíveis, Epistemologia 

PÁGINAS: 52
RESUMO:

O objetivo geral desse trabalho é desenvolver uma lógica da Suficiência tomando como base a lógica modal, (Carnielli e Pizzi, 2008), (Bull e Segenberg, 1984) ou (Hughes e Cresswell, 1996), e a classe de álgebras da suficiência, (Düntsch e Orlowska, 1999). Utilizando para isso os teoremas da representação do Stone (1936) e os da semântica algébrica I e II do Lemmon (1966), para lógica clássica e para lógica modal, respectivamente.

Os objetivos especı́ficos são os seguintes:

1. Definir o dual do operador suficiente com o necessário, assim como já é definido na lógica modal entre o necessário e possı́vel;

2. Estruturar e exibir os esquemas da lógica modal com esse novo operador.

MEMBROS DA BANCA:
Presidente - 1048318 - SAMIR BEZERRA GORSKY
Interno - 1451225 - DANIEL DURANTE PEREIRA ALVES
Externo ao Programa - 2645969 - ANDERSON PAIVA CRUZ - UFRN