Das Oberseminar findet in der Regel dienstags von 18 bis 20 Uhr im Seminarraum A104, Sand 14 statt.

Sommersemester 2009

• 21.4. Thomas Piecha (Tübingen): Inversion of Logical Rules by Definitional Reflection
• 12.5. Heinrich Herre (Leipzig): Formal Ontology - A New Interdisciplinary Research Field
• 16.6. Kai Wehmeier (Irvine/Nancy): Subjunctivity and Cross-World Predication
• 21.7. Laurent Keiff (Lille): Dialogues and GTS games. Some remarks about the meaning of logical constants

Wintersemester 2008/2009

• 21.10. Peter Schroeder-Heister (Tübingen): Definitional Reflection and Basic Logic
• 28.10. Peter Schroeder-Heister (Tübingen): The categorical and the hypothetical: A critique of certain fundamental assumptions of standard semantics
• 11.11. Ernst Zimmermann: A Variety of Natural Deduction
• 13.1. Helge Rückert (Universität Mannheim): Die Dialogische Logik als semantischer Ansatz
• 17.2. Luiz Carlos Pereira (Rio de Janeiro): Constructive fragments of classical logic
• 31.3. Gabriele Usberti (Università degli Studi di Siena): The notion of c-justification for atomic statements

Sommersemester 2008

• 28.5. Ernst Zimmermann: Combinatorial Proofs of Confluence and Strong Normalisation in Natural Deduction
• 2.6. Jean-Yves Béziau (Université de Neuchâtel): Structures of Truth Values
• 15.7. Ernst Zimmermann: Lambek Calculus in Natural Deduction
• 21.7. Wagner de Campos Sanz (UFG, Goiânia): Peirce Rule, Subformula Principle and Separabilty of Logical Constants
• 31.7. Norihiro Kamide (Waseda Institute for Advanced Study, Tokyo): Generalizing paraconsistent negations

Wintersemester 2007/2008

• 23.10. Luca Tranchini (Siena): The meaning of negation: a proposal
• 29.11. Aarne Ranta (Chalmers TH, Göteborg): Dialogue Systems and Type Theory
• 13.3. Wagner de Campos Sanz (UFG, Goiânia): Falsity Preservation

Wintersemester 2006/2007

• 20.-21.1. Workshop on Logic
  • 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
  • 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
• 23.1. Reinhard Kahle (Universität Coimbra, Portugal): Rekursionstheoretische Charakterisierungen von Komplexitätsklassen und NC^k

Sommersemester 2006

• 30.5. Christian Jacques Rentería (PUC Rio de Janeiro): A Natural Deduction System for Propositional Linear Temporal Logic
• 28.6. Ernst Zimmermann: Normalisation of Arithmetic

Wintersemester 2005/2006

• 18.10. Roy Dyckhoff (St Andrews): Decision methods for linearly ordered Heyting algebras
• 16.11. Ernst Zimmermann: Generalisations of Kripke Structures
• 7.12. Christian Jacques Rentería (PUC Rio de Janeiro): Labeled Natural Deduction for Quantifiers
• 14.12. Birgit Henningsen: Entropie als Komplexitätsmaß für Beweise
• 25.1. Rainer Lüdeke: Übersetzung von logischen Sequenzen in GML-Graphen
• 25.1. Stefan Elser: Übersetzung von logischen Sequenzen in LaTeX-Graphen
• 22.2. Ernst Zimmermann: Substructural Logics in Natural Deduction

Sommersemester 2005

• 1.6. Ernst Zimmermann: A Basic Predicate Logic
• 6.7. Davi Romero de Vasconcelos (PUC Rio de Janeiro): Reasoning about Games via Temporal Logic
• 13.7. Michael Arndt (Tübingen): Logical Tomography
• 21.7. Tobias Heindel: Rewriting in a Lattice and its Generalizations
• 28.7. Bartosz Więckowski: Quantified Modal Logic: Denotational vs. Substitutional

Wintersemester 2004/2005

• 10.11. Marcelo da Silva Corrêa: A Logical and a Categorical Characterization for a Partial Non-commutative Combining Operation
• 19.11. Roy Dyckhoff (St Andrews): Focused Proof Systems in Intuitionistic Logic
• 21.1. Luiz Carlos Pereira (PUC Rio de Janeiro): Bad Reductions and the Identity Problem
• 24.1. Edward Hermann Haeusler (PUC Rio de Janeiro): A Game-based proof of the PSPACE-completeness of Intuitionistic Propositional Logic
• 18.2. Ernst Zimmermann: Ordinals for Combinatorial Proofs of Termination in Natural Deduction

Sommersemester 2004

• 4.5. Ernst Zimmermann: Logik und Verbände
• 6.7. Ernst Zimmermann: Ordinale Arithmetik und Verallgemeinerte Sigma-0 Vollständigkeit
• 20.7. Lew Gordeew: Kombinatorische Reduktion des P-NP Problems

Wintersemester 2003/2004

• 12.11. Michael Arndt (Tübingen): Informationsgefüge - Eine Theorie subjektiven begrifflichen Inhaltes
• 16.1. Pavel Materna: Transparent Intensional Logic: Fundamentals
• 16.1. Marie Duzi: Attitudes: Hyperintensional vs. intensional contexts
• 26.1. Ernst Zimmermann: Natürliches Schliessen mit Singulären Annahmen
• 4.2. Tobias Heindel: Extending the Lambda Calculus towards a Process Calculus

Sommersemester 2003

• 7.5. Michael Arndt (Tübingen): Intensions as Processes
• 21.5. Michael Arndt (Tübingen): Language as Process
• 28.5. Ernst Zimmermann: Intuitionistic Modal Propositional Logic
• 3.6. Edward Hermann Haeusler (Rio de Janeiro): Theory of Computation and Formal Methods in the Dept of Informatics of PUC-RIO
• 11.6. Edward Hermann Haeusler (Rio de Janeiro): Theory of Computation and Formal Methods in the Dept of Informatics of PUC-RIO
• 24.6. Tobias Heindel: From Reduction Sequences to Function Processes
• 2.7. Jörg Hudelmaier: Randomisierte binäre Suchbäume
• 8.7. Edward Hermann Haeusler (Rio de Janeiro): Using Topos Theory for Providing Semantics of Anticipatory Operators
• 16.7. Tobias Heindel: From Reduction Sequences to Function Processes
• 28.7. Ernst Zimmermann: Strong Normalisation by Means of Natural Deduction

Wintersemester 2000/2001

• 23.10. Thomas Studer (Bern): Eine denotationelle Semantik für Featherweight Java
• 6.11. Torsten Schatz (Tübingen): AD+
• 13.11. Ralph Matthes (München): Operationalisierung von Widerspruchsbeweisen durch und mit Induktion
• 27.11. Hans Kamp (Stuttgart): Repräsentationen temporaler Information und ihre Logik
• 4.12. Pascal Hitzler (Cork): Verallgemeinerte Metriken in der Logikprogrammierung
• 22.1. Lew Gordeew (Tübingen) Post-Turing Analysis und das "Hauptproblem"
• 29.1. Dietmar Seipel (Würzburg) Kardinalitätsbedingungen in disjunktiven deduktiven Datenbanken

Sommersemester 2000

• 9.5. Harald Ganzinger (Saarbrücken): Saturierungsbasierte Komplexitätsanalyse
• 23.5. Fritz Hamm (Tübingen): Ein Ereigniskalkül für Nominalisierungen und den Progressiv
• 6.6. Walter Felscher (Tübingen): Epsilon, Delta, Bolzano, Cauchy
• 20.6. Ernst Zimmermann (Tübingen): Modallogik ohne Ex Falso
• 27.6. Krzysztof Wójtowicz (Warschau): Ontologische Verpflichtungen in der Mathematik
• 4.7. Wolfgang Burr (Münster): Konstruktivität und logische Komplexität in der Arithmetik
• 17.7. Christian Thiel (Erlangen): This galaxy of paradox and obscurities - Freges System in heutiger Sicht Vortrag im Philosophischen Kolloquium

Wintersemester 1999/2000

• 26.10. Lew Gordeew (Tübingen): Endlichkeit in Logik-Formalismen 1. Stufe
• 9.11. Anton Setzer (Uppsala): Pi^1_1-Reflexion in Martin-Löfs Typentheorie
• 16.11. Patrizio Contu (Tübingen): Über den Begriff einer allgemeinen Beweistheorie
• 24.11. Wilfried Hodges (London): Some Mathematical Aspects of Compositionality Vortrag im Linguistischen Kolloquium des SfS
• 30.11. Heike Wiese (Berlin): Zahlen und Kognition
• 7.12. Karl-Heinz Niggl (Ilmenau): Das µ-Maß: Verzweigte Analyse der Rekursion zur Bestimmung von Berechnungskomplexität
• 11.1. Johann Makowsky (Haifa/Zürich): Finding zeros of multivariate polynomials (Der Vortrag ist auf deutsch.)
• 18.1. Wilfried Buchholz (München): Zu Gentzens Widerspruchsfreiheitsbeweis für die reine Zahlentheorie
• 25.1. Thomas Strahm (Bern): Applikative Theorien und Komplexität
• 8.2. Birgit Elbl (München) Beweistheoretische Semantik für Erweiterungen von "pure Prolog"
  sowie Sergei Tupailo (Bern) Realizability Interpretation into Explicit Mathematics

Sommersemester 1999

• 20.4. Wolfgang Malzkorn (Bonn): Über die Konzeption und Bedeutung der Kantischen Logik
• 27.4. Michael Arndt (Tübingen): Der "Pi"-Kalkül
• 4.5. Hans Leiß (München): Definierbarkeit und Kompression
• 11.5. Ernst Zimmermann (Tübingen): Peirces Regel im Natürlichen Schließen
• 18.5. Ieke Moerdijk (Utrecht): Topology, Completeness and Definability
• 1.6. Krzysztof Wójtowicz (Warschau): Die philosophischen Probleme der "Reverse Mathematics"
• 8.6. Anton Setzer (Uppsala): "Meaning explanations" in Martin-Löfs Typentheorie
• 15.6. Ulrich Berger (München): Programmextraktion aus klassischen Beweisen
• 22.6. Wolfgang Mincke (Maastricht/Ahaus): Rechtsinformatik
• 29.6. Matthias Baaz (Wien): Die Verallgemeinerung von Beweisen und Rechnungen
• 6.7. Javier Legris (Buenos Aires/Erlangen): Paul Hertz' Satzsysteme und die Geschichte der Beweistheorie

Wintersemester 1998/99

• 20.10. Barbara Heußen (Tübingen): Herbrands Fundamentaltheorem
• 27.10. Ulrich Kohlenbach (Aarhus): Beweisinterpretationen
• 10.11. Benedikt Löwe (Berlin): Spieltheorie und Determiniertheit
• 17.11. Volker Halbach (Konstanz): Notwendigkeit und disquotiationelle Wahrheit
• 1.12. Volker Peckhaus (Erlangen): Hilbert und die mathesis universalis
• 8.12. Frank Veltman (Amsterdam): Dynamic semantics I
• 15.12. Frank Veltman (Amsterdam): On what would have been the case
• 12.1. Kai Wehmeier (Münster): Über merkwürdige Eigenschaften der Fregeschen Grundgesetze der Arithmetik
• 17.1. - 19.1. Workshop: Proof theoretic semantics
• 3.2. Gerhard Jäger (Bern): Explizite Mathematik - Überblick und neuere Entwicklungen
• 9.2. Kai Hauser (Berlin): Gödels Programm im Licht der modernen Mengenlehre

Sommersemester 1998

• 16.6. Rodrigo Readi-Nasser (Kaiserslautern): Logisches Programmieren und Prawitz' Normalform
• 31.7. Monika Seisenberger (München): Higmans Lemma

Wintersemester 1997/98

• 4.11. Robert Stärk (Freiburg i.Ü.): Warum die Konstante "undefiniert"?
• 17.12. Michael Rathjen (Leeds): Konstruktive Mengenlehre