Date: 16-17 April 2012
Location: Universität Tübingen, Wilhelm-Schickard-Institut, Sand 6, Room F116
Monday, 16 April 2012, 10.30-17.30:
- Alberto Naibo & Mattia Petrolo (Paris): Towards a verificationist account of classical propositional logic
- Luca Tranchini (Tübingen): How to Tarski Dummett-Prawitz's validity
- Thomas Piecha (Tübingen): Atomic systems and constructive semantics
- Jean-Baptiste Joinet (Paris): Motivated hypothesis: On the Colson & Michel approach of hypothetical reasoning
- Jean Fichot (Paris): Proofs and counterexamples
Tuesday, 17 April 2012, 9.00-13.30:
- Peter Schroeder-Heister (Tübingen): Towards a calculus of squares – The proof-theoretic significance of the square of opposition
- Rainer Lüdecke (Tübingen): A game semantics for normal logic programs
- Ernst Zimmermann: Two extensions of natural deduction
- Michael Arndt (Tübingen): Directionality in logical calculi
- Rene Gazzari (Lissabon): The application of Lindenbaum's Theorem
Contact: Thomas Piecha
