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