| | 9 |
: | 00 |
- | 10 |
: | 00 |
Invited Talk: Proof Search Tree and
Cut Elimination |
| | |
Grigori Mints |
|
| | 10 |
: | 00 |
- | 10 |
: | 30 |
Coffee Break |
|
| | 10 |
: | 30 |
- | 11 |
: | 00 |
An Introduction to the Calculus of Structures |
| | |
Alwen Tiu |
| | 11 |
: | 00 |
- | 11 |
: | 30 |
The Epsilon Theorems and Herbrand Complexity |
| | |
Georg Moser and Richard Zach |
| | 11 |
: | 30 |
- | 12 |
: | 00 |
Fast Cut-Elimination for Intuitionistic Logic With
Disjunction-Free Prenex Cuts |
| | |
Matthias Baaz |
|
| | 12 |
: | 00 |
- | 14 |
: | 00 |
Lunch |
|
| | 14 |
: | 00 |
- | 15 |
: | 00 |
Invited Talk: Justification Logic |
| | |
Sergei Artemov |
|
| | 15 |
: | 00 |
- | 15 |
: | 30 |
Coffee Break |
|
| | 15 |
: | 30 |
- | 16 |
: | 00 |
A Logic for Constructivity |
| | |
Michel Parigot |
| | 16 |
: | 00 |
- | 16 |
: | 30 |
Quantifier Elimination for Quantified Propositional
Gödel Logic |
| | |
Norbert Preining |
| | 16 |
: | 30 |
- | 17 |
: | 30 |
Invited Talk: Proof Theory of Fuzzy
Logics Based on T-Norms - An Overview |
| | |
Agata Ciabattoni |