Speakers:
Matthias Baaz (Vienna)
Petr Cintula (Prague, Czech Republic)
Nikolaos Galatos (Denver, US)
Rostislav Horcik (Prague, Czech Republic)
Kazushige Terui (Kyoto, Japan)
Anna Zamansky (Vienna)
Schedule
11:00-11:30 Nikolaos Galatos The variety of l-groups is generated by Aut(R): a proof-theoretic argument
11:30-12:00 Matthias Baaz Satisfiability in Goedel logics
12:10-12:40 Rostislav Horcik The algebraic proof of FEP for residuated groupoids
Join Lunch
14:30-15:00 Kazushige Terui Herbrand’s theorem via nonregular completions
15:00-15:30 Anna Zamansky Applications of non-determinism in proof-theory
15:40-16:10 Petr Cintula MP-based substructural logics