Workshop on Logic

Date: 20-21 January 2007
Location: Universität Tübingen, Wilhelm-Schickard-Institut, Sand 13, Room A104

 

Saturday, 20 January 2007, 14-19h:

  • Enrico Moriconi (Pisa): On the Inversion Principle
  • Peter Schroeder-Heister (Tübingen): Inversion Principles and Definitional Reflection
  • Michael Arndt (Tübingen): A Hypergraph Interpretation of Gentzen's Logistic Calculus
  • Thomas Piecha (Tübingen): Some Remarks on the Physical Interpretation of Church's Thesis

 

Sunday, 21 January 2007, 11-17h:

  • Luiz Carlos Pereira (Rio de Janeiro): Multiple Conclusion Intuitionistic Systems
  • Edward Hermann Haeusler (Rio de Janeiro): On Some Relations between Fragments of Classical, Intuitionistic and Minimal Logic
  • Laura Tesconi (Pisa): A Strong Normalization Theorem for Natural Deduction with General Elimination Rules
  • Ernst Zimmermann (Tübingen): A Combinatorial Proof of Strong Normalization in Natural Deduction and Simple Type Theory

 

Contact: Thomas Piecha