Re: Trivial observation on resolution

Rajeev.Gore-/hejbHI7ObxcYUQs2IXCwA@xxxxxxxxxxxxxxxx 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.