Time: Thursday Sept. 30, 12:30-1:30
Place: ASB 9705
Speaker: Greg Restall, University of Melbourne

The Geometry of Classical Logic (with quantifiers)

I present a natural deduction system for classical predicate logic. This generalises traditional natural deduction by permitting proofs with multiple premises and multiple conclusions. The talk defines the system, illustrates its virtues, and explains its relationship with the Gentzen sequent calculus.

Please note that there will be 2 computational logic talks on Thursday, Sep 30, one by Restall at 12:30 pm and one by Morioka at 1:30 pm.