Series: Logic Seminar Speaker: Dale Miller (Penn State, Computer Science and Engineering) Title: Topics in Linear Logic Date: Tuesday, May 5, 1998 Time: 2:30 PM Place: 113 McAllister Building Abstract: Linear logic was introduced in 1987 by J-Y Girard (Theoretical Computer Science, volume 50). I will overview various aspects of linear logic ranging from sequent calculus, proof nets, semantics, and applications in computer science. Familiarity with the basics of natural deduction and sequent calculus will be assumed.
Mathematical Logic at Penn State
Department of Mathematics