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.