Classic logic papers, pt. 3: Normal derivability in classical logic

One of my favorite proof theory papers of all time: W. W. Tait. Normal derivability in classical logic. In: Jon Barwise, ed., The Syntax and Semantics of Infinitary Languages LNM 72. (Berlin: SPringer, 1968), pp. 204-236. Springer actually has this available online--which is neat, but of course only if your institution has access to the … Continue reading Classic logic papers, pt. 3: Normal derivability in classical logic

Zeitschrift für mathematische Logik und Grundlagen der Mathematik

The Zeitschrift für mathematische Logik und Grundlagen der Mathematik was one of the few logic journals around in the mid 20th century. It started publishing in 1955, I think the only logic journals that are older than it are the Journal of Symbolic Logic (1936), the Archiv für mathematische Logik und Grundlagenforschung (1950) and Studia … Continue reading Zeitschrift für mathematische Logik und Grundlagen der Mathematik

Classic Logic papers, pt. 2: Kruskal’s theorem and Γ0

Looking through my CiteULike database today, I was reminded of this beautiful paper by Gallier, which tells you everything you wanted to know about the ordinal Γ0 and its proof-theoretic relevance. Section 6 is a wonderful overview of the theory of (constructive) countable ordinals.Jean H. Gallier. What's so special about Kruskal's theorem and the ordinal … Continue reading Classic Logic papers, pt. 2: Kruskal’s theorem and Γ0

Ackermann Award announced

The Ackermann Award is the EACSL's award for outstanding dissertations in logic in computer science. This year's award is shared by Dietmar BerwangerRWTH Aachen (Advisor: Erich Graedel)Thesis: Games and Logical Expressiveness Stéphane Lengrand Université de Paris VII and University of St. Andrews (Advisors: Delia Kesner and Roy Dyckhoff) Thesis: Normalization and Equivalence in Proof Theory … Continue reading Ackermann Award announced