logo       

Calculus of structures and sequent calculus: msg#00004

science.mathematics.frogs

Subject: Calculus of structures and sequent calculus

Dear frogs,

For my first post on this list (on any list, in fact!), I would like to have your expert opinion on the following (huge, I think) subject:

"What are the benefits of calculus of structures with respect to sequent calculus?" (and conversely)

I already have some personal answers, but they are mainly concerned with the "algebraic" structure of derivations. I'd wish to have some facts coming from a proof theorist.

This is to present the work I will talk about in Dresden to people who know sequent calculus very well (and love it, so they are kind of reluctant when it comes to exchange it with two barrels of CoS...)

Thank you for any comment,

Yves




<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise