Título: Contração em Lógicas e Fibrilação Segura

Palestrante: Márcio Moretto Ribeiro

Resumo: A técnica de fibrilação de lógicas mostra como combinar duas lógicas
em uma nova lógica que combina características de ambas. Inspirados em
resultados conhecidos da área de revisão de crenças propomos outras duas
técnicas para construir novas lógicas a partir de lógicas conhecidas. A
primeira consiste na remoção de uma regra (ou um conjunto de regras) derivada
de um sistema lógico e a segunda consiste no que chamamos de fibrilação
segura. Além de apresentar construções e postulados de racionalidade para
essas operações, mostraremos alguns de exemplos de aplicações em lógicas
intermediárias (super-intuicionistas) e paraconsistentes.