Series: Penn State Logic Seminar

Date: Tuesday, September 26, 2000

Time: 2:30 - 3:20 PM

Place: 307 Boucke Building

Speaker: Elaine Pimentel, Computer Science Department, Penn State

Title: Linear Logic as a Framework for Specifying Sequent Calculus

Abstract: 

In recent years, intuitionistic logic and type systems have been used
in numerous computational logic systems as frameworks for the
specification of natural deduction proof systems.  As we shall
illustrate, linear logic can be similarly used to specify the more
general setting of sequent calculus proof systems.  We shall present
several example encodings of sequent calculus proof system using the
Forum presentation of linear logic.  This talk represents joint work
of Elaine Pimentel and Dale Miller.