QUALIFICAÇÃO DE MESTRADO 
Candidato: Miguel Alfredo Nunes
Orientadora: Profa. Dra Juliana Bueno
Título do Trabalho: As Lógicas Catódicas e as Limitações do Método de Fibring Algébrico
Data: 01/12/2025
Horário: 14 horas
Local: CLE Unicamp, Sala 208 - Kurt Gödel

Sobre a pesquisa:

Reprodução das lógicas catódicas originalmente obtidas por Bueno-Soler (2009), computando-as à partir do método de fibring algébrico, com o objetivo de demonstrar a corretude e completude das mesmas, por meio dos resultados de preservação das propriedades.
Os resultados preliminares obtidos indicam que as lógicas catódicas podem ser obtidas novamente por meio do método de fibring algébrico, porém a completude dessas lógicas não pode ser obtida diretamente pelo método, sendo necessário prová-la por outros caminhos.