14 April -Saturday

Chair

Marcelo Esteban Coniglio

9:30 - 10:15

Guilherme Vicentin de Toledo

CLE - IFCH - State University of Campinas (UNICAMP), Brazil

Nondeterministic Semantics for Nonclassical Logics: An Approach from the Perspective of Model Theory and Universal Algebra

10: 15 - 11:00

Marcelo Esteban Coniglio

CLE - DF/IFCH - State University of Campinas (UNICAMP), Brazil

Maximality and strong maximality in the lattice of finite-valued Lukasiewicz logics

11:00 - 11:45

Walter Carnielli

CLE - DF/IFCH - State University of Campinas (UNICAMP), Brazil

Popperian probabilities for paraconsistent logics

11:45 - 12:15

Coffee Break

12:15 - 13:00

Eduardo Alejandro Barrio

IIF-Sadaf-Conicet - University of Buenos Aires (UBA), Argentina

What is a (Classical / Paraconsistent) Logic?

13:00 - 13:45

Juliana Bueno-Soler

CLE - FT - State University of Campinas (UNICAMP), Brazil

Comparing the product of fibring to taylor-suited logics