Banca de QUALIFICAÇÃO: ASSIS WALNER FREIRE DE ALBUQUERQUE

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: ASSIS WALNER FREIRE DE ALBUQUERQUE
DATA: 08/12/2021
HORA: 10:00
LOCAL: https://meet.google.com/bvh-pgri-ajz
TÍTULO: UMA SEMÂNTICA PARA A LÓGICA MINIMAL PARACONSISTENTE
PALAVRAS-CHAVES: Lógica. Paraconsistência. Semântica.
PÁGINAS: 48
RESUMO: : Este trabalho propõe uma semântica bivalente, ou seja, de apenas dois valores, para a Lógica Minimal Paraconsistente (MPL). MPL é uma sublógica do cálculo C1 de Newton da Costa, proposta por Elias Humberto Alves e Giovanni da Silva de Queiroz no artigo The Construction of the Calculi Cn of da Costa. Construímos a sintaxe, demonstramos a equivalência com o sistema de da Costa, propomos a nossa semântica com a decidibilidade e o processo de construção de quase-matrizes. Tomamos como referência para a nossa semântica as semânticas de semivalorações propostas por Andréa Loparic para Cω, também para os cálculos intuicionistas e a semântica de semivalorações de Elias Humberto Alves para os cálculos Cn, 1 ≤ n ≤ ω, de da Costa.
MEMBROS DA BANCA:
Presidente - 1560574 - ANDERSON DARC FERREIRA
Externo ao Programa - 1032405 - DIEGO PINHEIRO FERNANDES
Externo ao Programa - 3154970 - HERMOGENES HEBERT PEREIRA OLIVEIRA