Katedra Logiki UMK

Zaproszeni goście

  • Jean-Yves Béziau ― Universidade do Brasil (University of Brazil), Rio de Janeiro, Brazylia; oraz Ecole Normale Supérieure, Paryż, Francja
  • Paraconsistent propositions: philosophical and mathematical aspects

  • Walter Carnielli ― Universidade Estadual de Campinas, UNICAMP (State University of Campinas), Campinas, Brazylia oraz Ruhr-Universität (Ruhr-University Bochum), Bochum, Niemcy
  • Evidence and Truth as an Epistemic Approach to Paraconsistency

  • Andrzej Indrzejczak ― Uniwersytet Łódzki, Łódź, Polska
  • Natural deduction in Jaśkowski's research and teaching

  • María Manzano ― Universidad de Salamanca (Uniwersytet w Salamance), Salamanka, Hiszpania
  • Hybrid Partial Type Theory

  • Sergei P. Odintsov ― Институт математики им. С. Л. Соболева (Sobolev Institute of Mathematics) oraz Новосибирский государственный университет (Novosibirsk State University), Nowosybirsk, Rosja
  • Belnapian constants and weak definability in FDE-based logics

  • Peter Schroeder-Heister ― Eberhard Karls Universität in Tübingen (Uniwersytet Eberharda i Karola w Tybindze), Tybinga, Niemcy
  • Identity, contraction and cut: How do these principles interact?

  • Max Urchs ― EBS Universität für Wirtschaft und Recht (EBS University of Business and Law), Wiesbaden, Niemcy
  • On adjunction in discursive logic

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

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

english UMK Wydział Humanistyczny Toruń Logic and Logical Philosophy