What is sequent calculus? See wiki: http://en.wikipedia.org/wiki/Sequent_calculus
So basicaly I'd like to produce something like this:
Maybe using Tikz?
Have a look at
There are some packages described for teXing such sequences. I would guess that the sequence you posted is done using proof.sty