World Logic Day 2020 @ CLE
Centre For Logic Epistemology and the History of Science
Centre For Logic Epistemology and the History of Science
University of Campinas, Brazil
University of Campinas, Brazil
January 14, 2020, 14:00
January 14, 2020, 14:00
"Kurt Gödel" Room
"Kurt Gödel" Room
CLE-UNICAMP
CLE-UNICAMP
Session 1 (14:00 to 16:00)
Session 1 (14:00 to 16:00)
14:00 Walter Carnielli: The Brazilian Paraconsistency Program and its Unfoldings
14:00 Walter Carnielli: The Brazilian Paraconsistency Program and its Unfoldings
14:40 Aldo Figallo-Orellano: Models for Paraconsistent Set Theory
14:40 Aldo Figallo-Orellano: Models for Paraconsistent Set Theory
15:20 Juliana Bueno-Soler: Plain Fibring of Polynomial Logics
15:20 Juliana Bueno-Soler: Plain Fibring of Polynomial Logics
16:00 Coffee Break
16:00 Coffee Break
Session 2 (16:30 to 18:30)
Session 2 (16:30 to 18:30)
16:30 Marcelo E. Coniglio: Escaping from Necessity: Modal Logics with Non-Deterministic Semantics
16:30 Marcelo E. Coniglio: Escaping from Necessity: Modal Logics with Non-Deterministic Semantics
17:10 Fabio Bertato: Logic Applied to Natural Theology
17:10 Fabio Bertato: Logic Applied to Natural Theology
17:50 Itala D'Ottaviano: On the Historical Relevance of Glivenko's Translation of 1929
17:50 Itala D'Ottaviano: On the Historical Relevance of Glivenko's Translation of 1929