Programação
Quinta-feira, dia 18 de janeiro:
14:50 : Abertura do Colóquio
15:00 : Semântica para lógicas modais com relações de acessibilidade mas sem mundos possíveis
Jean-Yves Beziau (UFRJ)
16:00 : Algumas conexões entre teoria de clones e lógica universal
Rodrigo Bacellar (USP)
16:55 : Intervalo
17:30 : Sobre a natureza das modalidades lógicas
Antonio Souza Júnior (doutorando, UnB)
18:30 : Lógica e astrobiologia: questões metodológicas e fundacionais
Alexandre Costa-Leite (UnB)
Sexta-feira, dia 19 de janeiro:
15:00 : Em direção a uma generalização monoidal dos topos e de sua lógica interna
Hugo Mariano (USP)
16:00 : Interpretações entre teorias de ordem
Rodrigo Freire (UnB)
16:55 : Intervalo
17:30 : “Tightness” e solidez nos fundamentos da matemática
Alfredo Roque Freire (UnB)
18:30 : Paraconsistentização da Lógica do Paradoxo
Edelcio G. de Souza (USP)
Inscrições
