STANFORD UNIVERSITY
Department of Mathematics
Fall quarter 1998

MATHEMATICAL LOGIC SEMINAR

Sep 29 Goldon Plotkin (University of Edinburgh)
Binding Algebras: A step from universal algebra to type theory

Oct 6 Grigori Mints (Stanford University)
Axiomatization of a Skolem function in intuitionistic logic

Oct 27 William Tait (University of Chicago)
A Transfinite SandReckoner: Constructing cardinals from below

Nov 3 Yuri Gurevich (Microsoft Research and University of Michigan)
The Logic of Choice

Nov 10 Sol Feferman (Stanford University)
Higher classes in explicit mathematics; four applications to constructivity

Nov 17 Vaughan Pratt (Stanford University)
Danos-Regnier semantics and the dialectic lambda-calculus

Nov 24 Grigori Mints (Stanford University)
Classical Multiplicative Linear Logic = Intuitionistic MLL

Seminars take place on Tuesdays at 4:15 PM in room 381-T,
Mathematics Department (building 380).

LOGIC LUNCH

Oct 2 Greg Restall (Macquarie University, Sydney)
Costing Non-Classical Solutions to the Paradoxes

Oct 16 S. Vassilyev (Russian Academy of Sciences, Irkutsk)
Automated Proving and Hypothesizing

Nov 6 W.W. Tait (University of Chicago)
The completeness of Intuitionistic first-order logic

Nov 13 Alan Woods (University of Western Australia)
The number of Boolean functions defined by formulas of a given size

Nov 20 Tom Costello (Stanford University)
The Expressive Power of Circumscription

Dec 4 Daniel Lehmann (Hebrew University)
Nonmonotonic Logics and Semantics

Logic lunch takes place on Fridays at 12:00 PM in room 383-N,
Mathematics Department (building 380).

MATHEMATICS COLLOQUIUM

Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).