Re: Proof nets and bureaucracy

Hi Alessio,

> Anyway, it's uncontroversial that proof nets as they are commonly
> conceived are not deductive, in the sense that reading back a
> deductive proof is `difficult'. This is neither a good or a bad
> thing: it's just a fact, and this prompts me to define the following
> two moral notions.

By "difficult" do you mean the same sense as it being difficult to
read back a Hilbert-style proof from a natural deduction one?

Charles