Calculus of structures and sequent calculus

Yves Guiraud <[email protected]>
Newsgroups gmane.science.mathematics.frogs
Message-ID <Pine.WNT.4.61.0502111111130.904@N2>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.