Keynote speakers

  • Jean-Yves Béziau ― University of Brazil, Rio de Janeiro, Brazil; and Ecole Normale Supérieure, Paris, France
  • Paraconsistent propositions: philosophical and mathematical aspects

  • Walter Carnielli ― State University of Campinas - UNICAMP, Campinas, Brazil; and Ruhr Universität, Bochum, Germany
  • Evidence and Truth as an Epistemic Approach to Paraconsistency

  • Andrzej Indrzejczak ― University of Łódź, Łódź, Poland
  • Natural deduction in Jaśkowski's research and teaching

  • María Manzano ― University of Salamanca, Salamanca, Spain
  • Hybrid Partial Type Theory

  • Sergei P. Odintsov ― Sobolev Institute of Mathematics; and Novosibirsk State University, Russia
  • Belnapian constants and weak definability in FDE-based logics

  • Peter Schroeder-Heister ― University of Tübingen, Germany
  • Identity, contraction and cut: How do these principles interact?

  • Max Urchs ― EBS Universität für Wirtschaft und Recht, Wiesbaden, Germany
  • On adjunction in discursive logic

  • Alasdair Urquhart ― University of Toronto, Toronto, Canada
  • A notion of logical space

  • Heinrich Wansing ― Ruhr Universität, Bochum, Germany
  • Negation as cancellation, connexive logic, and qLPm (joint work with Daniel Skurt)

polish Nicolaus Copernicus University Faculty of Humanities Logic and Logical Philosophy