World Logic Day 2020 @ CLE

Centre For Logic Epistemology and the History of Science

University of Campinas, Brazil

Workshop celebrating the World Logic Day - Under the auspices of UNESCO

January 14, 2020, 14:00

"Kurt Gödel" Room

CLE-UNICAMP

Session 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

Session 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