Prezad@s colegas e estudantes
Na próxima terça-feira 14, às 14hs, será realizado no CLE (assim como
em diversos lugares do mundo) um pequeno evento comemorando o Dia
Mundial da Lógica. Estão tod@s convidados a participar.
Programa:
Sessão 1 (14:00 to 16:00)
14:00 Walter Carnielli: The Brazilian Paraconsistency Program and its Unfoldings
14:40 Aldo Figallo-Orellano: Models for Paraconsistent Set Theory
15:20 Juliana Bueno-Soler: Plain Fibring of Polynomial Logics
16:00 Coffee Break
Sessão 2 (16:30 to 18:30)
16:30 Marcelo E. Coniglio: Escaping from Necessity: Modal Logics with
Non-Deterministic Semantics
17:10 Fabio Bertato: Logic Applied to Natural Theology
17:50 Itala D'Ottaviano: On the Historical Relevance of Glivenko's
Translation of 1929
Mais informações em
https://sites.google.com/view/wld2020cle/
Abraços
Marcelo