Re: How to use `deep inference'?

Hi,

> 1) I'm happy with using CoS as formalism and deep inference as a
> property (of a bunch of formalisms) as I just did. I'd just emphasise
> "deep inference" rather than "CoS" as the main idea that's behind the
> good properties we get.

I agree that it is a good thing to be able to distinguish the CoS from
the later formalisms which are based on deep inference. I have an
ego-centric reason for this, namely, that there is a straight forward
correspondence between CoS systems and term rewriting systems. As far as
I understood this correspondence is not explicit in general "deep inference".

The correspondence with term rewriting is important from the view of
implementations of CoS systems, to which I recently dedicated a web site:

http://www.informatik.uni-leipzig.de/~ozan/maude_cos.html

I will be happy to have any comments on improvements.

Cheers.
-Ozan