Re: Trivial observation on resolution

Rajeev.Gore-/[email protected] wrote:

>Hi Alessio,
>
>I recall a paper by Arnon Avron where he shows that propositional
>resolution is just a sequent calculus where the only rule is cut. I
>could be wrong in my recollections so please take this with a grain of
>salt. Would this not count as prior art for your idea ?
>
>Arnon: are you listening ?
>
>Roy: does this ring a bell with you ?
>  
>
    From memory, this goes back to at least Robinson's book (1971?) or 
something like that.

    Cheers,
                James.