MODALIDADES CATÓDICAS E ANÓDICAS

MODALIDADES CATÓDICAS E ANÓDICAS

Juliana Bueno-Soler
Programa de Pós-Graduação - IFCH/ UNICAMP
Grupo de Lógica Teórica e Aplicada - CLE/UNICAMP
 

RESUMO

Discutirei o papel da negação no âmbito das modalidades, tema central da
minha Tese de Doutorado, partindo das modalidades anódicas (sem negação) e
introduzindo gradativamente o elemento catódico (negações ) através das
LFI's (lógicas da inconsistência formal).

Mostrarei que resultados de completude e incompletude podem ser obtidos
para amplas classes de lógicas anódicas e catódicas axiomatizadas pelo
esquema geral de sistemas multimodais G^<a,b,c,d> combinados com LFI's,
com vistas também á obtenção de semânticas de traduções possíveis.

Avaliarei ainda a questão dos métodos de prova por tablôs e anéis de
polinômios para tais sistemas.
 

__._,_.___