Re:Trivial observation on resolution

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 ?

best wishes,
Raj